Search results for "mission-critical"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Weihang Wu, Tim Kelly	Failure modelling in software architecture design for safety.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	software architectures, CSP, safety analysis, failure modelling
11	Abdelkarim Erradi, Piyush Maheshwari	A Broker-Based Approach for Improving Web Services Reliability.	ICWS	2005	DBLP DOI BibTeX RDF
11	Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos	Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations.	CBSE	2005	DBLP DOI BibTeX RDF
11	Jianming Ye, Joseph P. Loyall, Richard E. Schantz, Gary Duzan	Detection and Reaction to Unplanned Operational Events in Large Scale Distributed Real-Time Embedded Systems.	IPDPS	2005	DBLP DOI BibTeX RDF
11	Chokchai Leangsuksun, Anand Tikotekar, Makan Pourzandi, Ibrahim Haddad	Feasibility study and early experimental results towards cluster survivability.	CCGRID	2005	DBLP DOI BibTeX RDF
11	Kshitij Limaye, Box Leangsuksun, Zeno Greenwood, Stephen L. Scott, Christian Engelmann, Richard Libby, Kasidit Chanchio	Job-Site Level Fault Tolerance for Cluster and Grid environments.	CLUSTER	2005	DBLP DOI BibTeX RDF
11	Christopher P. Fuhrman, Edgardo Palza, Kim Loan Do	Optimizing the Planning and Executing of Software Independent Verification and Validation (IV&V) in Mature Organizations.	COMPSAC Workshops	2004	DBLP DOI BibTeX RDF
11	Ionut Cardei, Sabera Kazi	MAC Layer QoS Support for Wireless Networks of Unmanned Air Vehicles.	HICSS	2004	DBLP DOI BibTeX RDF
11	Clayton Bolz, Gordon W. Romney, Brandon L. Rogers	Safely train security engineers regarding the dangers presented by denial of service attacks.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	DoS lab, isolated lab, network security, information technology, DDoS
11	Samar Dajani-Brown, Darren D. Cofer, Amar Bouali	Formal Verification of an Avionics Sensor Voter Using SCADE.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
11	Yanyong Zhang, Mark S. Squillante, Anand Sivasubramaniam, Ramendra K. Sahoo	Performance Implications of Failures in Large-Scale Cluster Scheduling.	JSSPP	2004	DBLP DOI BibTeX RDF
11	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
11	John Hatcliff, William Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath, Robby	Slicing and partial evaluation of CORBA component model designs for avionics system.	PEPM	2003	DBLP DOI BibTeX RDF	distributed systems, designs, real-time systems, model-checking, embedded systems, verification, components, CORBA, partial evaluation, slicing
11	Wei-Tek Tsai, Lian Yu, Feng Zhu 0001, Raymond A. Paul	Rapid Verification of Embedded Systems Using Patterns.	COMPSAC	2003	DBLP DOI BibTeX RDF	Verification patterns, model checking, embedded systems, verification, testing
11	Surajit Dutta, Sudip Dutta, Riddhi Burman, Mridul Sankar Barik, Chandan Mazumdar	Design and Implementation of a Soft Real Time Fault Tolerant System.	IWDC	2002	DBLP DOI BibTeX RDF
11	Alexander A. Evstiougov-Babaev	Call Graph and Control Flow Graph Visualization for Developers of Embedded Applications.	Software Visualization	2001	DBLP DOI BibTeX RDF
11	Todd Lizambri, Fernando Duran, Shukri Wakid	TCP Throughput and Buffer Management.	ISORC	2000	DBLP DOI BibTeX RDF
11	Philip M. Irey IV, Brett L. Chappell, Robert W. Hott, David T. Marlow, Karen O'Donoghue, T. R. Plunkett	Metrics, Methodologies, and Tools for Analyzing Network Fault Recovery Performance in Real-Time Distributed Systems.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
11	Norman E. Fenton, Martin Neil	A Strategy for Improving Safety Related Software Engineering Standards.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	IEC1508, measurement, prediction, Standards, assessment, safety-critical
11	Stephen Dempsey, Eric Fryland, Brian Hazzard, David Cyganski	Performance of Asynchronous, Variable Bit Rate Communications over ATM: A Comparison with FDDI.	LCN	1997	DBLP DOI BibTeX RDF	Classical IP, AAL 3/4, Performance, Real Time, ATM, TCP, Latency, WAN, LAN, UDP, FDDI
11	Mark L. Wilson	Some Considerations for Reengineering Navy Legacy Systems.	ECBS	1996	DBLP DOI BibTeX RDF	Complex Systems, Reengineering, Language Translation, CMS-2
11	Anthony J. Bonner, Adel Shrufi, Steve Rozen	LabFlow-1: A Database Benchmark for High-Throughput Workflow Management.	EDBT	1996	DBLP DOI BibTeX RDF
11	Dan Picker, Ronald D. Fellman	A VLSI priority packet queue with inheritance and overwrite.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
11	Ilsoo Ahn	Database Issues in Telecommunications Network Management.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF
9	Arnd Schröter, Gero Mühl, Samuel Kounev, Helge Parzyjegla, Jan Richling	Stochastic performance analysis and capacity planning of publish/subscribe systems.	DEBS	2010	DBLP DOI BibTeX RDF	publish/subscribe, event-based systems, performance modeling and prediction
9	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
9	Torben Bach Pedersen	Research challenges for cloud intelligence: invited talk.	EDBT/ICDT Workshops	2010	DBLP DOI BibTeX RDF
9	Indika Meedeniya	An incremental methodology for quantitative software architecture evaluation with probabilistic models.	ICSE (2)	2010	DBLP DOI BibTeX RDF	delta evaluation, incremental evaluation models, architecture evaluation, probabilistic properties
9	Shuguang Feng, Shantanu Gupta, Amin Ansari, Scott A. Mahlke	Shoestring: probabilistic soft error reliability on the cheap.	ASPLOS	2010	DBLP DOI BibTeX RDF	error detection, fault injection, compiler analysis
9	Tom Barnes, Adam Messinger, Paul Parkinson, Amit Ganesh, German Shegalov, Saraswathy Narayan, Srinivas Kareenhalli	Logging last resource optimization for distributed transactions in Oracle WebLogic server.	EDBT	2010	DBLP DOI BibTeX RDF
9	Christiane Gresse von Wangenheim, Jean Carlo Rossa Hauck, Aldo von Wangenheim	Enhancing Open Source Software in Alignment with CMMI-DEV.	IEEE Softw.	2009	DBLP DOI BibTeX RDF
9	Li Li 0009, Thomas Kunz	Cooperative node localization using nonlinear data projection.	ACM Trans. Sens. Networks	2009	DBLP DOI BibTeX RDF	curvilinear component analysis, simulations, Localization, multi-dimensional scaling, nonlinear mapping
9	Robert R. Hoffman, Paul J. Feltovich, Stephen M. Fiore, Gary Klein, David Ziebell	Accelerated Learning (?).	IEEE Intell. Syst.	2009	DBLP DOI BibTeX RDF
9	Feng Wang, Jie Qiu 0001, Jie Yang, Bo Dong 0001, Xin Hui Li, Ying Li 0012	Hadoop high availability through metadata replication.	CloudDB@CIKM	2009	DBLP DOI BibTeX RDF	hadoop
9	Martin Schmettow	Controlling the usability evaluation process under varying defect visibility.	BCS HCI	2009	DBLP BibTeX RDF	count data models, usability business, reliability, usability evaluation, maximum likelihood, process control
9	Richard L. Graham, Rainer Keller	Dynamic Communicators in MPI.	PVM/MPI	2009	DBLP DOI BibTeX RDF
9	Joseph Juhnke, Adam R. Kallish	Adaptive Learning via Social Cognitive Theory and Digital Cultural Ecosystems.	HCI (16)	2009	DBLP DOI BibTeX RDF
9	Quan Z. Sheng, Zakaria Maamar, Jian Yu, Anne H. H. Ngu	Robust Web Services Provisioning through On-Demand Replication.	UNISCON	2009	DBLP DOI BibTeX RDF	service host, Web service, replication, matchmaking
9	Christian Esposito 0001, 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
9	Hailong Ma, Yunfei Guo, Jianwei Zhang	Fast Reroute upon Multi-homed Domains Link Failures.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
9	Narate Taerat, Nichamon Naksinehaboon, Clayton Chandler, James Elliott, Chokchai Leangsuksun, George Ostrouchov, Stephen L. Scott, Christian Engelmann	Blue Gene/L Log Analysis and Time to Interrupt Estimation.	ARES	2009	DBLP DOI BibTeX RDF
9	Anirudh Natarajan, Buddhika de Silva, Kok-Kiong Yap, Mehul Motani	Link layer behavior of body area networks at 2.4 GHz.	MobiCom	2009	DBLP DOI BibTeX RDF	link layer behavior, body area networks
9	Marcelo R. N. Mendes, Pedro Bizarro, Paulo Marques	A Performance Study of Event Processing Systems.	TPCTC	2009	DBLP DOI BibTeX RDF	Benchmarking, Complex Event Processing, Micro-benchmarks
9	Patrizia Grifoni, Fernando Ferri, Irina Kondratova, Arianna D'Ulizia	MONET 2009 PC Co-chairs' Message.	OTM Workshops	2009	DBLP DOI BibTeX RDF
9	Gero Mühl, Arnd Schröter, Helge Parzyjegla, Samuel Kounev, Jan Richling	Stochastic Analysis of Hierarchical Publish/Subscribe Systems.	Euro-Par	2009	DBLP DOI BibTeX RDF	Performance Analysis, Publish/Subscribe
9	Shereese Thomas	Making help desk training interactive and interesting for student technicians.	SIGUCCS	2009	DBLP DOI BibTeX RDF	calltacker, instructional design, blackboard
9	Claudio A. Ardagna, Massimo Banzi, Ernesto Damiani, Fulvio Frati	Assurance Process for Large Open Source Code Bases.	CSE (3)	2009	DBLP DOI BibTeX RDF
9	Steven Fraser 0001	Software "Best" Practices: Agile Deconstructed.	PROFES	2009	DBLP DOI BibTeX RDF
9	Abdulaziz Barnawi, Roshdy H. M. Hafez	PROGRESSIVE: a topology discovery and scheduling protocol for wireless sensor networks.	MSWiM	2009	DBLP DOI BibTeX RDF	tdma, sensor networks, topology, energy
9	MoonBae Song, Hyunseung Choo	Towards Location-Based Real-Time Monitoring Systems in u-LBS.	ICCSA (2)	2009	DBLP DOI BibTeX RDF
9	Mijeom Kim, Mohan Kumar, Sukju Jung	Trust Management Using Networks of Volunteers in Ubiquitous Computing Environments.	NEW2AN	2009	DBLP DOI BibTeX RDF	Ubiquitous computing, Service discovery, Trust management
9	Pavlos Antoniou, Andreas Pitsillides, Andries P. Engelbrecht, Tim Blackwell, Loizos Michael	Congestion Control in Wireless Sensor Networks Based on the Bird Flocking Behavior.	IWSOS	2009	DBLP DOI BibTeX RDF	Congestion Control (CC), Wireless Sensor Networks (WSNs)
9	Mainak Banga, Michael S. Hsiao	A Novel Sustained Vector Technique for the Detection of Hardware Trojans.	VLSI Design	2009	DBLP DOI BibTeX RDF
9	Charles Pak, James Cannady	Asset priority risk assessment using hidden markov models.	SIGITE Conference	2009	DBLP DOI BibTeX RDF	risk assessment
9	Roberto Varona-Gomez, Eugenio Villar	AADL Simulation and Performance Analysis in SystemC.	ICECCS	2009	DBLP DOI BibTeX RDF
9	Jens Müller, Wilhelm G. Spruth	Anwendungs- und Transaktionsisolation unter Java.	Inform. Forsch. Entwickl.	2008	DBLP DOI BibTeX RDF	ACID, Application Isolation API, JSR-121, Multi-Tasking Virtual Machine, Persistent Reusable Java Virtual Machine, Virtual Machine Container, Transaction, Java Virtual Machine, J2EE, Isolation, Enterprise JavaBeans, Java EE
9	János Tapolcai, Pin-Han Ho, Dominique Verchère, Tibor Cinkler, Anwar Haque	A New Shared Segment Protection Method for Survivable Networks with Guaranteed Recovery Time.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
9	Lieven Desmet, Pierre Verbaeten, Wouter Joosen, Frank Piessens	Provable Protection against Web Application Vulnerabilities Related to Session Data Dependencies.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Security, Reliability, Data sharing, Web technologies, Security and Protection, Web-based services, Software/Program Verification
9	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
9	Venkatram Vishwanath, Lenore D. Zuck, Jason Leigh	Specification and Verification of LambdaRAM: A Wide-area Distributed Cache for High Performance Computing.	MEMOCODE	2008	DBLP DOI BibTeX RDF
9	Mark A. Iwen	A deterministic sub-linear time sparse fourier algorithm via non-adaptive compressed sensing methods.	SODA	2008	DBLP BibTeX RDF
9	Debdoot Mukherjee, Pankaj Jalote, Mangala Gowri Nanda	Determining QoS of WS-BPEL Compositions.	ICSOC	2008	DBLP DOI BibTeX RDF	Quality of Service, workflows, BPEL, composite web services
9	Christian Zirpins, Guadalupe Ortiz 0001, Yen-Jao Chung, Wolfgang Emmerich	Introduction: Fourth International Workshop on Engineering Service-Oriented Applications (WESOA 2008).	ICSOC Workshops	2008	DBLP DOI BibTeX RDF
9	Luca Sterpone, M. A. Aguirre, Jonathan Noel Tombs, Hipólito Guzmán-Miranda	On the design of tunable fault tolerant circuits on SRAM-based FPGAs for safety critical applications.	DATE	2008	DBLP DOI BibTeX RDF
9	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
9	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
9	Bosheng Zhou, Alan Marshall 0001, Wenzhe Zhou, Kun Yang	A Random Packet Destruction DoS Attack for Wireless Networks.	ICC	2008	DBLP DOI BibTeX RDF
9	Yu Tang, Shuyu Chen, Changqing Bu, Guanghui Chang, Rahul Simha	Application-Kernel Collaboration Mechanisms for Real-Time Cluster Server under Overloading.	HPCC	2008	DBLP DOI BibTeX RDF
9	Yu Gu 0002, Yanfei Lv, Ge Yu 0001, Jia Xu 0005	Modeling and Service Capability Evaluation for RFID Complex Event Processing.	WAIM	2008	DBLP DOI BibTeX RDF
9	Fernando Ferri, Irina Kondratova, Arianna D'Ulizia, Patrizia Grifoni	MONET 2008 PC Co-chairs' Message.	OTM Workshops	2008	DBLP DOI BibTeX RDF
9	Rui Tan 0001, Guoliang Xing, Jianping Wang 0001, Hing-Cheung So	Collaborative Target Detection in Wireless Sensor Networks with Reactive Mobility.	IWQoS	2008	DBLP DOI BibTeX RDF
9	Torsten Grabs, Steve Herbert, Xin (Shin) Zhang	Testing challenges for extending SQL server's query processor: a case study.	DBTest	2008	DBLP DOI BibTeX RDF
9	Dhananjai Madhava Rao, Alexander Chernyakhovsky	Parallel simulation of the global epidemiology of Avian Influenza.	WSC	2008	DBLP DOI BibTeX RDF
9	Spyridon V. Gogouvitis, George Kousiouris, Kleopatra Konstanteli, Theodoros Polychniatis, Andreas Menychtas, Dimosthenis Kyriazis, Theodora A. Varvarigou	Realtime-enabled workflow management in service oriented infrastructures.	AREA	2008	DBLP DOI BibTeX RDF	service oriented architecture, multimedia, real time, workflow management, qos, event-driven, advance reservation
9	Christian Esposito 0001, Stefano Russo 0001, Dario Di Crescenzo	Performance assessment of OMG compliant data distribution middleware.	IPDPS	2008	DBLP DOI BibTeX RDF
9	W. D. Yu, J. Patel, M. Chitralamuthu, S. S. Parakh	An empirical approach to a system design methodology for mobile Peer-to-Peer computing.	ISCC	2008	DBLP DOI BibTeX RDF
9	Wenbing Zhao 0001	Integrity-Preserving Replica Coordination for Byzantine Fault Tolerant Systems.	ICPADS	2008	DBLP DOI BibTeX RDF
9	Burak Turhan, Ayse Basar Bener, Tim Menzies	Nearest neighbor sampling for cross company defect predictors: abstract only.	DEFECTS	2008	DBLP DOI BibTeX RDF
9	Mea Wang, Hassan Shojania, Baochun Li	Crystal: An Emulation Framework for Practical Peer-to-Peer Multimedia Streaming Systems.	ICDCS	2008	DBLP DOI BibTeX RDF
9	Guoliang Xing, Jianping Wang 0001, Ke Shen, Qingfeng Huang, Xiaohua Jia, Hing-Cheung So	Mobility-Assisted Spatiotemporal Detection in Wireless Sensor Networks.	ICDCS	2008	DBLP DOI BibTeX RDF
9	Sajeeva L. Pallemulle, Haraldur D. Thorvaldsson, Kenneth J. Goldman	Byzantine Fault-Tolerant Web Services for n-Tier and Service Oriented Architectures.	ICDCS	2008	DBLP DOI BibTeX RDF
9	Sinnakkrishnan Perumal, Ambuj Mahanti	Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation.	HICSS	2008	DBLP DOI BibTeX RDF
9	Ann L. Fruhling, Patrick McDonald, Christopher Dunbar	A Case Study: Introducing eXtreme Programming in a US Government System Development Project.	HICSS	2008	DBLP DOI BibTeX RDF
9	Archana Kalyansundar, Rita Chattopadhyay	A Novel Approach to Hardware Architecture Design and Advanced Optimization Techniques for Time Critical Applications.	EUC (1)	2008	DBLP DOI BibTeX RDF
9	Nilanjan Mukherjee 0001	Targeting "Zero DPPM" - Can we ever get there?	DFT	2008	DBLP DOI BibTeX RDF
9	Honguk Woo, Jianliang Yi, James C. Browne, Aloysius K. Mok, Ella M. Atkins, Fei Xie	Design and Development Methodology for Resilient Cyber-Physical Systems.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
9	Guorui Li, Jingsha He, Yingfang Fu	A Distributed Intrusion Detection Scheme for Wireless Sensor Networks.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
9	Dimosthenis Kyriazis, Peer Hasselmeyer, Konstantinos Tserpes, Andreas Menychtas, Theodora A. Varvarigou	QoS-Based Decision Services in Grids.	Panhellenic Conference on Informatics	2008	DBLP DOI BibTeX RDF
9	Tim Menzies, Andrian Marcus	Automated severity assessment of software defect reports.	ICSM	2008	DBLP DOI BibTeX RDF
9	Mary Beth Snapp, Diane Dagefoerde	The Accidental Agilists: One Team's Journey from Waterfall to Agile.	AGILE	2008	DBLP DOI BibTeX RDF
9	H. M. N. Dilum Bandara, Anura P. Jayasumana, Indrajit Ray	Key pre-distribution based secure backbone formation in wireless sensor networks.	LCN	2008	DBLP DOI BibTeX RDF
9	Edwin Soedarmadji	The Chinese Generals Problem.	CISS	2008	DBLP DOI BibTeX RDF
9	Simon S. Woo, Michael K. Cheng	Prioritized LT codes.	CISS	2008	DBLP DOI BibTeX RDF
9	Robert G. Pettit IV	Increasing Confidence in Concurrent Software through Architectural Analysis.	Ada-Europe	2008	DBLP DOI BibTeX RDF
9	Wenbo He, Ying Huang, Klara Nahrstedt, Whay Chiou Lee	A scalable public key management scheme in wireless ad hoc networks.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2007	DBLP DOI BibTeX RDF
9	Kun-Chan Lan, Zhe Wang, Mahbub Hassan, Tim Moors, Rodney Berriman, Lavy Libman, Maximilian Ott, Björn Landfeldt, Zainab R. Zaidi	Experiences in deploying a wireless mesh network testbed for traffic control.	Comput. Commun. Rev.	2007	DBLP DOI BibTeX RDF	wireless mesh network, deployment, traffic control
9	Luiz Felipe Perrone	Could a Caveman Do It? The Surprising Potential of Simple Attacks.	IEEE Secur. Priv.	2007	DBLP DOI BibTeX RDF
9	Jing Yu 0015, María Jesús Garzarán	Compiler Optimizations for Fault Tolerance Software Checking.	PACT	2007	DBLP DOI BibTeX RDF
9	Feng Lu, Lijuan Geng, Liang-Tien Chia, Ying-Chang Liang	Secure multi-path in sensor networks.	SenSys	2007	DBLP DOI BibTeX RDF	random network coding, security, sensor networks, multi-path
9	Dimka Karastoyanova, Branimir Wetzstein, Tammo van Lessen, Daniel Wutke, Jörg Nitzsche, Frank Leymann	Semantic Service Bus: Architecture and Implementation of a Next Generation Middleware.	ICDE Workshops	2007	DBLP DOI BibTeX RDF