Search results for "mission-critical systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Tolety Siva Perraju, Satyendra Pal Rana, Susanta P. Sarkar	Specifying fault tolerance in mission critical systems. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
2	Sangsoo Kim, Jiyong Park, Heeseo Chae, Hoh Peter In	Situation-Aware Based Self-adaptive Architecture for Mission Critical Systems.	ICESS	2007	DBLP DOI BibTeX RDF	Real-Time Distributed Simulation, Self-Adaptation, Situation-Awareness, Mission Critical System, HLA/RTI
2	Ronald J. Kohl	AIAA (Draft) Guidebook "Managing the Use of Commercial Off-the-Shelf (COTS) Software Components for Mission Critical Systems".	ICCBSS	2004	DBLP DOI BibTeX RDF
2	Christopher D. Gill, Fred Kuhns, Douglas C. Schmidt, Ron Cytron	Empirical Differences between COTS Middleware Scheduling Strategies.	CoopIS/DOA/ODBASE	2002	DBLP DOI BibTeX RDF	Dynamic Scheduling Algorithms and Analysis, Real-Time Assurance and Optimization, Quality of Service Issues, Middleware and APIs, Mission Critical Systems, Distributed Real-time and Embedded Systems
2	Raymond A. Paul, Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen	A Memory-Based Reasoning Approach for Assessing Software Quality.	COMPSAC	2001	DBLP DOI BibTeX RDF	Software metrics repository, Metrics data analysis, Y2K defects, Software reliability, Mission Critical Systems
2	Jonathan C. L. Liu, Lin Xia, David Hung-Chang Du, Rose P. Tsang, Allalaghatta Pavan	Scheduling Algorithms for A High-Speed Switch Supporting Real-Time Periodic Traffic Sources. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	high-speed switch, real-time periodic traffic sources, fast scheduling algorithms, periodic source flows, real-time delivery requirements, data frames, FCFS algorithm, CBR flows, variable bandwidth requirements, scheduling, real-time systems, packet switching, scheduling algorithms, wide area networks, WAN, telecommunication traffic, multiplexing, mission critical systems, constant bit rate
2	Zhou Qiang, Luo Zhiqiang, Xiong Huagang, Li Qiao	Real-Time Performance Analysis for Linear Token Passing Bus Networks. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	real-time performance analysis, linear token passing bus networks, LTPB network, exact network timing property, optimal bandwidth allocation scheme, WCAU, worst available utilization, protocols, local area networks, bandwidth allocation, mission-critical systems
2	Paul Richardson, Susanta Sarkar	Adaptive Scheduling: Overload Scheduling for Mission Critical Systems.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
2	Roymond S. C. Shanahan	Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD). (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	product line center approach, mission critical systems development, Department of Defense, information systems development environment, systems development costs, software architectures, software tools, software reuse, initiatives, safety-critical software, computer-based systems engineering, ECBS
2	Jyhjong Lin, David Chenho Kung, Pei Hsia	Top-down development of real-time software specification. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	fault tolerance specification, system dependability, system repair, input output automata, fire control system, combat vehicle, software fault tolerance, deadlines, temporal properties, I/O automata, mission critical systems
2	Arkady Kanevsky, Peter C. Krupp, Paul J. Wallace	Paradigm for building robust real-time distributed mission-critical systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	search radar, military systems, radar tracking, robust real-time distributed mission-critical systems building, long life-cycle defense system, stringent safety requirements, stringent timing requirements, stringent dependability requirements, multiple target tracking, surveillance radar system, system upgrade support, system hardware, baseline performance, SEI/CMU Simplex Architecture, prototypical industrial feedback control application, integrated standard technologies, real-time systems, reliability, fault tolerant computing, distributed processing, timing, software fault tolerance, target tracking, safety-critical software, system software, military computing, application software, computing paradigm
2	James M. Butler	Quantum modeling of distributed object computing.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	quantum modeling, computer engineering community, large scale design, large scale verification, LCN model, real-world network topologies, DCO model, system-independent method, complex object oriented computing structures, DCO software mapping, object system mapping model, OSM model, modeling, software engineering, design, message passing, tools, local area networks, digital simulation, object-oriented methods, client-server systems, dynamic models, large scale systems, random processes, tractability, multicomputer systems, distributed object computing, random variables, mission critical systems
2	William S. Hiles, David T. Marlow	Approximation of FDDI minimum reconfiguration time. (PDF / PS)	LCN	1995	DBLP DOI BibTeX RDF	military communication, FDDI minimum reconfiguration time approximation, military platforms, reconfiguration timing, FDDI product testing, timing, data transfer, FDDI, military computing, LAN interconnection, mission critical systems, interconnection topologies
1	Qiliang Yang, Jian Lü, Jianchun Xing, XianPing Tao, Hao Hu, Yang Zou	Fuzzy Control-Based Software Self-Adaptation: A Case Study in Mission Critical Systems.	COMPSAC Workshops	2011	DBLP DOI BibTeX RDF
1	Hyunsang Youn, Ingeol Chun, Eunseok Lee	Evaluation of Real-Time Characteristics for Mission Critical Systems Using Hierarchically Profiled Petri Net.	FGIT-CA/CES3	2011	DBLP DOI BibTeX RDF
1	Bogdan Korel, Shangping Ren, Kevin A. Kwiat, Arnaud Auguste, Alban Vignaux	Improving operation time bounded mission critical systems' attack-survivability through controlled source-code transformation.	SIN	2011	DBLP DOI BibTeX RDF
1	Sang-Hyun Kim, Morris A. Cohen, Serguei Netessine, Senthil K. Veeraraghavan	Contracting for Infrequent Restoration and Recovery of Mission-Critical Systems.	Management Science	2010	DBLP DOI BibTeX RDF
1	Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek	Schism: fragmentation-tolerant real-time garbage collection.	PLDI	2010	DBLP DOI BibTeX RDF	mark-region, replication-copying, real-time, fragmentation, mark-sweep
1	Christian Esposito, Domenico Cotroneo, Aniruddha S. Gokhale	Reliable publish/subscribe middleware for time-sensitive internet-scale applications.	DEBS	2009	DBLP DOI BibTeX RDF	multiple-tree redundancy, fault-tolerance, replication, timeliness, peer-to-peer overlay
1	Jingyuan Li, Yafeng Wu, Krasimira Kapitanova, John A. Stankovic, Kamin Whitehouse, Sang Hyuk Son	Run time assurance of application-level requirements in wireless sensor networks.	SenSys	2009	DBLP DOI BibTeX RDF	application semantics, run time assurance, virtual event, wireless sensor networks, Petri net, software, assurance
1	Christiane Gresse von Wangenheim, Jean Carlo Rossa Hauck, Aldo von Wangenheim	Enhancing Open Source Software in Alignment with CMMI-DEV.	IEEE Software	2009	DBLP DOI BibTeX RDF
1	Maite Avelino, Francisco de la Torre	Advanced Rule-Based Techniques in Mission Critical Systems.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Tom Stafford, Patrick Y. K. Chau	Letter from the editors.	DATA BASE	2008	DBLP DOI BibTeX RDF
1	Hoyeon Ryu, Dong-Kuk Ryu, Jongmoon Baik	A Strategic Test Process Improvement Approach Using an Ontological Description for MND-TMM.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Testing Maturity Model, OWL, Software Process Improvement
1	Bosheng Zhou, Alan Marshall, Wenzhe Zhou, Kun Yang	A Random Packet Destruction DoS Attack for Wireless Networks.	ICC	2008	DBLP DOI BibTeX RDF
1	Wenbing Zhao	Integrity-Preserving Replica Coordination for Byzantine Fault Tolerant Systems.	ICPADS	2008	DBLP DOI BibTeX RDF
1	Tim Menzies, Andrian Marcus	Automated severity assessment of software defect reports.	ICSM	2008	DBLP DOI BibTeX RDF
1	Mehmet H. Suzer, Kyoung-Don Kang	Adaptive Fuzzy Control for Utilization Management.	ISORC	2008	DBLP DOI BibTeX RDF	CPU Utilization, Real-Time Systems, Adaptive Fuzzy Control
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Masking Faults While Providing Bounded-Time Phased Recovery.	FM	2008	DBLP DOI BibTeX RDF	Bounded-time recovery, Phased recovery, Fault-tolerance, Real-time, Formal methods, Synthesis, Transformation
1	Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van	Early verification and validation of mission critical systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Model-checking, Animation, Requirements engineering, Monitoring, Verification and validation, Goal modelling
1	Xiaofeng Cui, Yanchun Sun, Gang Huang 0001, Hong Mei	Architectural Adaptation Addressing the Criteria of Multiple Quality Attributes in Mission-Critical Systems.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Tyler Pace, Shruti Ramalingam, David Roedl	Celerometer and idling reminder: persuasive technology for school bus eco-driving.	CHI Extended Abstracts	2007	DBLP DOI BibTeX RDF	automobile cockpit design, automobile interfaces, designing for eco-driving, persuasive technology, captology, mission-critical systems
1	Kristis Makris, Kyung Dong Ryu	Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels.	EuroSys	2007	DBLP DOI BibTeX RDF	DynAMOS, adaptive operating system, function cloning, dynamic instrumentation, dynamic software updates
1	Yuriy Brun, Nenad Medvidovic	Fault and adversary tolerance as an emergent property of distributed systems' software architectures.	EFTS	2007	DBLP DOI BibTeX RDF
1	Yue Wang, Wandong Cai, Qi Duan	Survivable Embedded Mission-Critical Network Base on Fibre Channel.	ICPP Workshops	2007	DBLP DOI BibTeX RDF
1	Lars Völker, Marcus Schöller, Martina Zitterbart	Introducing QoS mechanisms into the IPsec packet processing.	LCN	2007	DBLP DOI BibTeX RDF
1	Bashar Gharaibeh, Tien N. Nguyen, J. Morris Chang	Coping with API Evolution for Running, Mission-Critical Applications Using Virtual Execution Environment.	QSIC	2007	DBLP DOI BibTeX RDF
1	Alex Dekhtyar, Jane Huffman Hayes, Senthil Karthikeyan Sundaram, Elizabeth Ashlee Holbrook, Olga Dekhtyar	Technique Integration for Requirements Assessment.	RE	2007	DBLP DOI BibTeX RDF
1	Yangcheng Huang, Saleem N. Bhatti, Søren-Aksel Sørensen	Adaptive MANET Routing for Low Overhead.	WOWMOM	2007	DBLP DOI BibTeX RDF
1	Luiz Felipe Perrone	Could a Caveman Do It? The Surprising Potential of Simple Attacks.	IEEE Security & Privacy	2007	DBLP DOI BibTeX RDF
1	Alessandro Di Marco	Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency.	EPEW	2007	DBLP DOI BibTeX RDF	rotational latency reduction, disk characterization, performance, data layout, measurement techniques, disk drives
1	Su Thawda Win, Thandar Thein, Jong Sou Park	To Increase Survivability with Software Rejuvenation by Having Dual Base Station in WSN Environment.	ISPA Workshops	2007	DBLP DOI BibTeX RDF
1	Tsukasa Kudou, Nobuhiro Kataoka, Tadanori Mizuno	Integrity Maintenance System of Database Query Under Updating.	KES	2007	DBLP DOI BibTeX RDF	integrity, relational database, query, temporal database, mission-critical system
1	Jason Stanek, Suraj Kothari, Tien N. Nguyen, Carolina Cruz-Neira	Online Software Maintenance for Mission-Critical Systems.	ICSM	2006	DBLP DOI BibTeX RDF
1	Haifeng Chen, Guofei Jiang, Cristian Ungureanu, Kenji Yoshihira	Combining supervised and unsupervised monitoring for fault detection in distributed computing systems.	SAC	2006	DBLP DOI BibTeX RDF	supervised monitoring, distributed computing, fault detection, internet services, canonical correlation analysis
1	Daniel A. Reed	Performance and reliability: the ubiquitous challenge.	SIGMETRICS/Performance	2006	DBLP DOI BibTeX RDF
1	Jorge Salas, Francisco Perez-Sorrosal, Marta Patiño-Martínez, Ricardo Jiménez-Peris	WS-replication: a framework for highly available web services.	WWW	2006	DBLP DOI BibTeX RDF	WS-CAF, web services, availability, transactions, group communication
1	Lorenz Froihofer, Johannes Osrael, Karl M. Göschka	Trading Integrity for Availability by Means of Explicit Runtime Constraints.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	Fariaz Karim, Harish Thanneer	Automated Health-Assessment of Software Components using Management Instrumentatio.	COMPSAC	2006	DBLP DOI BibTeX RDF	Management Instrumentation, Health Modeling, Component Instrumentation, QoS Measurement
1	Sathish Gopalakrishnan, Marco Caccamo, Lui Sha	Switch Scheduling and Network Design for Real-Time Systems.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
1	Ramkumar Jayaseelan, Tulika Mitra, Xianfeng Li	Estimating the Worst-Case Energy Consumption of Embedded Software.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
1	Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van	Early Verification and Validation of Mission Critical Systems.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Lutz Prechelt, Daniel J. Hutzel	Market forces and end-user programming for mission-critical systems.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	marketing requirements, quality assurance, workflow modeler, workflow engine
1	Manu Kumar, Taemie Kim	Dynamic speedometer: dashboard redesign to discourage drivers from speeding.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	automobile cockpit design, automobile interfaces, designing for safety, dynamic speedometer, persuasive technology, speeding, captology, mission-critical systems
1	Guangyu Chen, Mahmut T. Kandemir	Improving java virtual machine reliability for memory-constrained embedded systems.	DAC	2005	DBLP DOI BibTeX RDF	dual execution, java virtual machine, transient error
1	Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos	Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations.	CBSE	2005	DBLP DOI BibTeX RDF
1	David de Andrés, José Albaladejo, Lenin Lemus, Pedro J. Gil	Fast Run-Time Reconfiguration for SEU Injection.	EDCC	2005	DBLP DOI BibTeX RDF
1	Xin Jin, Yaoxue Zhang, Yue-Zhi Zhou, Yaya Wei	A Novel IDS Agent Distributing Protocol for MANETs.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
1	Mikael Lindvall, Ioana Rus, Forrest Shull, Marvin V. Zelkowitz, Paolo Donzelli, Atif M. Memon, Victor R. Basili, Patricia Costa, Roseanne Tesoriero Tvedt, Lorin Hochstein, Sima Asgari, Christopher Ackermann, Daniel Pech	An evolutionary testbed for software technology evaluation.	ISSE	2005	DBLP DOI BibTeX RDF
1	Daniel L. Dvorak, William K. Reinholtz	Hard real-time: C++ versus RTSJ.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	real-time, architecture, concurrency, programming model
1	Svein O. Hallsteinsen, Erlend Stav, Jacqueline Floch	Self-adaptation for everyday systems.	WOSS	2004	DBLP DOI BibTeX RDF
1	Joon S. Park, Pratheep Chandramohan	Static vs. Dynamic Recovery Models for Survivable Distributed Systems.	HICSS	2004	DBLP DOI BibTeX RDF
1	Barry W. Boehm, Jesal Bhuta, David Garlan, Eric Gradman, LiGuo Huang, Alexander Lam, Raymond J. Madachy, Nenad Medvidovic, Kenneth Meyer, Steven Meyers, Gustavo Pérez, Kirk Reinholtz, Roshanak Roshandel, Nicolas Rouquette	Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience.	ISESE	2004	DBLP DOI BibTeX RDF	SCRover, empirical testbeds, seeded defects, Empirical methods, technology evaluation, software dependability, architecture definition languages
1	Warren Harrison	From the Editor: The Dangers of End-User Programming.	IEEE Software	2004	DBLP DOI BibTeX RDF	security, software development, programming
1	Taghi M. Khoshgoftaar, Erik Geleyn, Laurent A. Nguyen	Empirical Case Studies of Combining Software Quality Classification Models.	QSIC	2003	DBLP DOI BibTeX RDF	Decision Stumps, combined decision, software quality, Boosting, Bagging, C4.5
1	Lei Dou, Quanyuan Wu, Yan Jia, Weihong Han	A Dynamic Reconfiguration Platform Based on Distributed Component Technology CCM.	APPT	2003	DBLP DOI BibTeX RDF
1	Daniel Pfeifer, Hannes Jakschitsch	Method-Based Caching in Multi-tiered Server Applications.	CoopIS/DOA/ODBASE	2003	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen	Resource-Efficient Scheduling for Real Time Systems.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Eui-nam Huh, Youngsong Mun	Performance Analysis for Real-Time Grid Systems on COTS Operating Systems.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
1	Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin	Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures.	ICFEM	2003	DBLP DOI BibTeX RDF
1	Christof Eberst, Thomas Herbig	On the Application of the Concept of Dependability for Design and Analysis of Vision Systems.	ICVS	2003	DBLP DOI BibTeX RDF
1	Taghi M. Khoshgoftaar, Erik Geleyn, Laurent A. Nguyen, Lofton A. Bullard	Cost-Sensitive Boosting In Software Quality Modeling.	HASE	2002	DBLP DOI BibTeX RDF	Decision Stumps, Cost-Boosting, Boosting, software quality modeling, C4.5, cost-sensitivity
1	Marcos Kawazoe Aguilera, Gérard Le Lann, Sam Toueg	On the Impact of Fast Failure Detectors on Real-Time Fault-Tolerant Systems.	DISC	2002	DBLP DOI BibTeX RDF
1	Stuart R. Faulk	Product-Line Requirements Specification (PRS): An Approach and Case Study. (PDF / PS)	RE	2001	DBLP DOI BibTeX RDF
1	Giuseppe Valetto, Gail E. Kaiser, Gaurav S. Kc	A Mobile Agent Approach to Process-Based Dynamic Adaptation of Complex Software Systems.	EWSPT	2001	DBLP DOI BibTeX RDF
1	Andreas Polze, Janek Schwarz, Kristopher Wehner, Lui Sha	Integration of CORBA Services with a Dynamic Real-Time Architecture. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF	Network middleware and APIs, Case study/experience report, System integration, Mission critical systems
1	Richard Bishop	Intelligent Vehicle Applications Worldwide. (PDF / PS)	IEEE Intelligent Systems	2000	DBLP BibTeX RDF
1	Bryan Pflug	Ada after 10 Years of Usage - Is There a Commercial Future?	Ada-Europe	2000	DBLP DOI BibTeX RDF
1	Balachandran Natarajan, Aniruddha S. Gokhale, Shalini Yajnik, Douglas C. Schmidt	Applying Patterns to Improve the Performance of Fault Tolerant CORBA.	HiPC	2000	DBLP DOI BibTeX RDF
1	Steve M. Easterbrook	Verification and Validation of Requirements for Mission Critical Systems.	ICSE	1999	DBLP BibTeX RDF	V&V, embedded systems, requirements modeling, lightweight formal methods, software requirements specifications
1	Ronald J. Kohl	Establishing Guidelines for Suitability of COTS for a Mission Critical Application. (PDF / PS)	COMPSAC	1999	DBLP DOI BibTeX RDF
1	Doris L. Carver	Opportunities and Challenges for Software Engineering Education. (PDF / PS)	CSEE&T	1999	DBLP DOI BibTeX RDF
1	Tony S. Lee, Sumit Ghosh	On the of Concept of "Stability" in Asynchronous Distributed Decision-Making Systems. (PDF / PS)	ISADS	1999	DBLP DOI BibTeX RDF
1	Ferdinand J. Dafelmair	Model and Implementation of a Secure SW-Development Process for Mission Critical Software.	SAFECOMP	1998	DBLP DOI BibTeX RDF
1	Dan Picker, Ronald D. Fellman	A VLSI priority packet queue with inheritance and overwrite.	IEEE Trans. VLSI Syst.	1995	DBLP DOI BibTeX RDF
1	Richard Barker	Managing Open Systems Now that the Glass-house Has Gone.	BNCOD	1994	DBLP DOI BibTeX RDF