|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 645 occurrences of 480 keywords
|
|
|
Results
Found 1066 publication records. Showing 1066 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
75 | Tolety Siva Perraju, Satyendra Pal Rana, Susanta P. Sarkar |
Specifying fault tolerance in mission critical systems. |
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 |
73 | 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 |
|
58 | Jyhjong Lin, David Chenho Kung, Pei Hsia |
Top-down development of real-time software specification. |
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 |
58 | 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 |
58 | Ronald J. Kohl |
Establishing Guidelines for Suitability of COTS for a Mission Critical Application. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
|
52 | Christopher D. Gill, Fred Kuhns, Douglas C. Schmidt, Ron Cytron |
Empirical Differences between COTS Middleware Scheduling Strategies. |
OTM |
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 |
51 | Yue Wang, Wandong Cai, Qi Duan |
Survivable Embedded Mission-Critical Network Base on Fibre Channel. |
ICPP Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Anita D'Amico, Stephen Salas |
Visualization as an Aid for Assessing the Mission Impact of Information Security Breaches. |
DISCEX (2) |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Anita D'Amico, Stephen Salas |
Visualization as an Aid for Assessing the Mission Impact of Information Security Breaches. |
DISCEX (2) |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Krzysztof Czarnecki 0001, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf |
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
language tools, verification, static analysis, quality assurance, safety critical, ASIS, SPARK, mission critical |
43 | Tsukasa Kudou, Nobuhiro Kataoka, Tadanori Mizuno |
Integrity Maintenance System of Database Query Under Updating. |
KES (3) |
2007 |
DBLP DOI BibTeX RDF |
integrity, relational database, query, temporal database, mission-critical system |
43 | William S. Hiles, David T. Marlow |
Approximation of FDDI minimum reconfiguration time. |
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 |
43 | Marek Grzegorz Stochel, Radek Sztando |
Testing Optimization for Mission-Critical, Complex, Distributed Systems. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
six sigma, public safety, testing optimization, mission critical, DMAIC |
43 | Jerry Drobka, David Noftz, Rekha Raghu |
Piloting XP on Four Mission-Critical Projects. |
IEEE Softw. |
2004 |
DBLP DOI BibTeX RDF |
project management, refactoring, quality, Extreme programming, XP, software process, use cases, agile methods, maintainability, pair programming, cycle time, user stories, mission-critical |
43 | Jeffrey S. Norris, Poul-Henning Kamp |
Mission-Critical Development with Open Source Software: Lessons Learned. |
IEEE Softw. |
2004 |
DBLP DOI BibTeX RDF |
mission-critical software, open source development |
43 | 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). |
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 |
43 | Arkady Kanevsky, Peter C. Krupp, Paul J. Wallace |
Paradigm for building robust real-time distributed mission-critical systems. |
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 |
43 | Richard W. Selby |
Synthesis, Analysis, and Modeling of Large-Scale Mission-Critical Embedded Software Systems. |
ICSP |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Taghi M. Khoshgoftaar, Edward B. Allen, Lofton A. Bullard, Robert Halstead 0001, Gary P. Trio |
A tree-based classification model for analysis of a military software system. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
tree based classification model, military software systems analysis, tactical military software, software function, military personnel, tree based modeling method, fault prone software modules, Joint Surveillance Target Attack Radar System, JSTPARS, large tactical military system, decision tree model, software product metrics, spiral life cycle, highly reliable final product, fault prone class, TREED-ISC algorithm, CHAID algorithm, independent variables, statistically significant relationships, military computing, fault prone modules, chi squared tests, mission critical |
40 | Jennifer Chong, Partha P. Pal, Michael Atighetchi, Paul Rubel, Franklin Webber |
Survivability Architecture of a Mission Critical System: The DPASA Example. |
ACSAC |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Jason Bowers, John May, Erik Melander, Matthew Baarman, Azeem Ayoob |
Tailoring XP for Large System Mission Critical Software Development. |
XP/Agile Universe |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Gary Smith 0001, Daya Nadamuni, Sharad Malik, Rick Chapman, John Fogelin, Kurt Keutzer, Grant Martin, Brian Bailey |
Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant? |
DAC |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Jonathan White, Brajendra Panda |
Automatic Identification of Critical Data Items in a Database to Mitigate the Effects of Malicious Insiders. |
ICISS |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Michael J. Petkac, Lee Badger |
Security Agility in Response to Intrusion Detection. |
ACSAC |
2000 |
DBLP DOI BibTeX RDF |
security agility, cooperative frameworks, malicious attacks, mission critical functionality, security policy reconfiguration, runtime security policy change, prototype toolkit, flexible host-based response, distributed systems, intrusion detection, distributed processing, software components, security of data |
37 | Krishanthmohan Ratnam, Mohan Gurusamy, Luying Zhou |
Rerouting Schemes with Inter-layer Backup Resource Sharing for Differentiated Survivability in IP-over-WDM Optical Networks. |
LCN |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Ferdinand J. Dafelmair |
Model and Implementation of a Secure SW-Development Process for Mission Critical Software. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
35 | Lionel Touseau, Didier Donsez, Walter Rudametkin |
Towards a SLA-based Approach to Handle Service Disruptions. |
IEEE SCC (1) |
2008 |
DBLP DOI BibTeX RDF |
Dynamic SOC, service disruption, SLA, OSGi, mission critical |
35 | Mahesh Bhat, John Crawford, Ricardo Morin, Kumar Shiv |
Performance Characterization of Decimal Arithmetic in Commercial Java Workloads. |
ISPASS |
2007 |
DBLP DOI BibTeX RDF |
software decimal implementations, commercial Java workloads, binary floating-point numbers, special decimal representations, optimized hardware support, decimal math, BigDecimal class, scale manipulation, SPECjbb2005, SPECjAppServer2004, mission-critical financial workload, Trade Completion, hashing, performance characterization, decimal arithmetic, format conversion |
35 | Jacob Krivoruchko |
The Use of Open Source Software in Enterprise Distributed Computing Environments. (PDF / PS) |
OSS |
2007 |
DBLP DOI BibTeX RDF |
commercial software, mission-critical project, distributed systems, reliability, open source software, business model, risk, support, Budget, software selection, enterprise computing, total cost of ownership |
35 | Mark Silberstein, Gabriel Kliot, Artyom Sharov, Assaf Schuster, Miron Livny |
Materializing Highly Available Grids. |
HPDC |
2006 |
DBLP DOI BibTeX RDF |
highly available grid service, HA Condor system, mission-critical component, virtual computer |
35 | 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 |
35 | Zhou Qiang, Luo Zhiqiang, Huagang Xiong, Li Qiao |
Real-Time Performance Analysis for Linear Token Passing Bus Networks. |
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 |
35 | 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. |
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 |
35 | Joseph Kroculick, Cynthia Hood 0001 |
Provisioning Multilayer Restoration for Convergence. |
LCN |
2000 |
DBLP DOI BibTeX RDF |
multilayer restoration, mission critical service, protocol suites, recovery scheme, outage duration, escalation strategy, distributed coordination protocol, recovery agents, protocols, topology, network topology, deadlock, telecommunication network routing, telecommunication control, rerouting, telecommunication network reliability, control policies |
35 | Deron Liang, Win-Tsung Lo, Yu-Ming Kao, Shyan-Ming Yuan, Yue-Shan Chang |
A fault tolerant object transaction service in CORBA. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
fault tolerant object transaction service, robust software, mission critical applications, Object Transaction Service, CORBA 2 specification, transactional applications, OTS implementation, node crashes, software system failures, process hangs, Orbix, object-oriented methods, database applications, Sun workstations, ACID properties |
35 | Han Namgoong, Ki-Young Moon, In-Won Yoo |
An integrated approach to legacy data for multimedia applications. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
legacy data, WWW environment, Hypertext Information Retrieval System, client/server mode, WWW interface, gateway interface, mission critical jobs, financial operations, multimedia applications, multimedia computing, banking |
35 | Roger M. Tagg |
Workflow support across organisational boundaries. |
ISCNZ |
1996 |
DBLP DOI BibTeX RDF |
organisational boundaries, business process coordination, commercial activity, market opportunities, academic research, mission critical applications, cross-boundary applications, information systems, groupware, business data processing, workflow systems, transactional workflows, commercial products, business process re-engineering |
35 | 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 |
34 | David Keppler, Vipin Swarup, Sushil Jajodia |
Redirection policies for mission-based information sharing. |
SACMAT |
2006 |
DBLP DOI BibTeX RDF |
authorization, information sharing, data sharing, access control policy |
34 | Xiaofeng Cui, Yanchun Sun, Gang Huang 0001, Hong Mei 0001 |
Architectural Adaptation Addressing the Criteria of Multiple Quality Attributes in Mission-Critical Systems. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | 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 |
|
34 | Stephanie M. White |
Requirements for Distributed Mission-Critical Decision Support Systems. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Ray J. Paul, Tillal Eldabi, Jasna Kuljis, Simon J. E. Taylor |
Is problem solving, or simulation model solving, mission critical? |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Hsing-Jung Huang, Ting-Hao Chang, Shu-Yu Hu, Polly Huang |
Magnetic diffusion: disseminating mission-critical data for dynamic sensor networks. |
MSWiM |
2005 |
DBLP DOI BibTeX RDF |
sensor network, data dissemination |
30 | Robert M. Newman, Elena I. Gaura |
Formal design of SMIL presentations. |
SIGDOC |
2003 |
DBLP DOI BibTeX RDF |
formal methods, SMIL, hypermedia design |
30 | Rajiv Shukla, John McCann |
TOSS: TONICS for operation support systems: system management using the world wide web and intelligent software agents. |
NOMS |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Paula J. Pingree, Erich Mikk |
The HiVy Tool Set. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
model checking, translation, Spin, state-charts, Stateflow |
28 | Damian Dechev, Bjarne Stroustrup |
Scalable nonblocking concurrent objects for mission critical code. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
ABA problem prevention, autonomous space software, C++, software transactional memory, nonblocking synchronization |
28 | Krzysztof Gierlowski, Krzysztof Nowicki 0001 |
Wireless Networks as an Infrastructure for Mission-Critical Business Applications. |
NBiS |
2007 |
DBLP DOI BibTeX RDF |
corporate networks, wireless networks, WiMAX, e-business, WiFi, wireless mesh |
28 | B. Devalla, Riccardo Bettati, Wei Zhao 0001 |
Fault Tolerant Real-Time Connection Admission Control for Mission Critical Applications over ATM-Based Networks . |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Paul Richardson, Susanta Sarkar |
Adaptive Scheduling: Overload Scheduling for Mission Critical Systems. |
IEEE Real Time Technology and Applications Symposium |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Do-Yup Kim, Jang-Won Lee 0001 |
Joint Mission Assignment and Topology Management in the Mission-Critical FANET. |
IEEE Internet Things J. |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Do-Yup Kim, Jang-Won Lee 0001 |
Joint Mission Assignment and Location Management for UAVs in Mission-critical Flying Ad Hoc Networks. |
ICTC |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Kelvin Nilsen |
Ada-Java middleware for legacy software modernization. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
mixed-language development, software modernization, Java, real-time, Ada, safety-critical, object oriented development, high-integrity systems, mission-critical |
26 | 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 |
26 | 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 |
26 | Miroslav Popovic, Vladimir Kovacevic, Ivan Velikic |
A Formal Software Verification Concept Based on Automated Theorem Proving and Reverse Engineering. |
ECBS |
2002 |
DBLP DOI BibTeX RDF |
formal software verification, fault-tolerant and robust software, mission-critical embedded software, reverse engineering, automated theorem proving, predicate calculus |
26 | Marvin V. Zelkowitz, Ioana Rus |
The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program. |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
Evolutionary software, Life and mission critical software, Process characterization, Space Shuttle program, Software independent verification and validation, Software safety and reliability, Metrics, Maintenance |
26 | Andreas Polze, Janek Schwarz, Kristopher Wehner, Lui Sha |
Integration of CORBA Services with a Dynamic Real-Time Architecture. |
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 |
26 | Aniruddha S. Gokhale, Balachandran Natarajan, Douglas C. Schmidt, Joseph K. Cross |
Towards Real-Time Fault-Tolerant CORBA Middleware. |
Clust. Comput. |
2004 |
DBLP DOI BibTeX RDF |
DRE systems, CORBA, Real-Time CORBA, Fault-Tolerant CORBA |
26 | Lizhou Yu, Gholamali C. Shoja, Hausi A. Müller, Anand Srinivasan |
A Framework for Live Software Upgrade. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Tim Buxton, Alvin Tarrell, Ann L. Fruhling |
Heuristic Evaluation of Mission-Critical Software Using a Large Team. |
HCI (4) |
2009 |
DBLP DOI BibTeX RDF |
Decision Support, Heuristic Evaluation, Usability Evaluation Methods |
25 | Maurice Israël, Julien Borgel, André Cotton |
Heuristics to Perform Molecular Decomposition of Large Mission-Critical Information Systems. |
SECURWARE |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Wenbo He, Ying Huang, Klara Nahrstedt, Whay Chiou Lee |
SMOCK: A Self-Contained Public Key Management Scheme for Mission-Critical Wireless Ad Hoc Networks. |
PerCom |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Brian Banks, Gary M. Jackson, John J. Helly 0002, David N. Chin, T. J. Smith, A. Schmidt, Paul C. Brewer, Roger Medd, David Masters, Annetta Burger, William K. Krebs |
Using behavior analysis algorithms to anticipate security threats before they impact mission critical operations. |
AVSS |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Ming Li 0002, Huamin Feng |
Chaotically Masking Traffic Pattern to Prevent Traffic Pattern Analysis Attacks for Mission Critical Applications in Computer Communication Networks. |
ICNC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Lutz Prechelt, Daniel J. Hutzel |
Market forces and end-user programming for mission-critical systems. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
marketing requirements, quality assurance, workflow modeler, workflow engine |
25 | Chris Christou, Michael Davenport |
Supporting Mission-Critical Applications over Multi-service Networks. |
IWQoS |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Amit Jindal, Rajkumar Khandelwal |
System centric mission critical simulation model for MES automation. |
WSC |
2005 |
DBLP DOI BibTeX RDF |
|
25 | José F. Ruiz |
GNAT Pro for On-board Mission-Critical Space Applications. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Robert G. Pettit IV, Julie A. Street |
Lessons Learned Applying UML in the Design of Mission Critical Software. |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Joa Sang Lim, Seung Ryul Jeong, Min Cheol Whang, Yongjoo Cho |
Practical Investigation into the Maintainability of Object-Oriented Systems for Mission Critical Business. |
ADVIS |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Igor Balk |
Bio-Feedback Based Simulator for Mission Critical Training. |
International Conference on Computational Science |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Sugh-Hoon Lee, Sungyoung Lee |
Retransmission Scheme for MPEG Streams in Mission Critical Multimedia Applications. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Tien-fu Chang, Alejandro Danylyzsn, So Norimatsu, Jose Rivera, David Shepard, Anthony J. Lattanze, James E. Tomayko |
"Continuous Verification" in Mission Critical Software Development. |
HICSS (5) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Dorothy R. Graham |
Testing to Improve Requirements - Mission Impossible? |
RE |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Eric W. Brehm |
System Dependability Assessment Tool. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Pedro Manuel Rodriguez, Inaki Val, Aitor Lizeaga, Mikel Mendicute |
Evaluation of cognitive radio for mission-critical and time-critical WSAN in industrial environments under interference. |
WFCS |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Thoshitha T. Gamage, David Anderson, David E. Bakken, Kenneth P. Birman, Anjan Bose, Carl Hauser, Ketan Maheshwari, Robbert van Renesse |
Mission-Critical Cloud Computing for Critical Infrastructures. |
Smart Grids |
2014 |
DBLP BibTeX RDF |
|
23 | Kelvin Nilsen, Adrian Larkham |
Applying Java™ Technologies to Mission-Critical and Safety-Critical Development. |
SSS |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Horst F. Wedde, Mengdai Hu |
Scheduling critical and sensitiue tasks with remote requests in mission-critical systems. |
RTS |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Elias Sinderson, Vish Magapu, Ronald Mak |
Middleware and Web Services for the Collaborative Information Portal of NASA's Mars Exploration Rovers Mission. |
Middleware |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Tom Stafford 0001, Patrick Y. K. Chau |
Letter from the editors. |
Data Base |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein, Stefan M. Petters |
Towards trustworthy computing systems: taking microkernels to the next level. |
ACM SIGOPS Oper. Syst. Rev. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Kyoungwoo Lee, Aviral Shrivastava, Ilya Issenin, Nikil D. Dutt, Nalini Venkatasubramanian |
Mitigating soft error failures for multimedia applications by selective data protection. |
CASES |
2006 |
DBLP DOI BibTeX RDF |
horizontally partitioned caches, multimedia embedded systems, selective data protection, soft errors |
17 | 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 |
17 | Thomas Meinl, Benjamin Blau |
Web service derivatives. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
incomplete markets, web services, wavelets, derivatives, services mashups |
17 | Achille Fokoue, Mudhakar Srivatsa, Pankaj Rohatgi, Peter Wrobel, John Yesberg |
A decision support system for secure information sharing. |
SACMAT |
2009 |
DBLP DOI BibTeX RDF |
flexible information sharing, justification for non-shareability, semantic reasoner, description logic |
17 | Showole Aminat, Suhaimi Ibrahim, Shamsul Sahibuddin |
Industrial Application Development with Open Source Approach. |
ICSEA |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Wei Jiang, Guangze Xiong, Xuyang Ding |
Energy-Saving Service Scheduling for Low-End Cyber-Physical Systems. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup |
Verification and semantic parallelization of goal-driven autonomous software. |
Autonomics |
2008 |
DBLP DOI BibTeX RDF |
autonomous space software, semantic parallelization, C++, nonblocking synchronization |
17 | Charles Pak |
The near real time statistical asset priority driven (nrtsapd) risk assessment methodology. |
SIGITE Conference |
2008 |
DBLP DOI BibTeX RDF |
risk assessment, asset management |
17 | Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen |
A Unified Framework for Defect Data Analysis Using the MBR Technique. |
ICTAI |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Gilda Pour |
Expanding the Possibilities for Enterprise Computing: Multi-Agent Autonomic Architectures. |
EDOC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ana R. Cavalli, Dario Vieira |
A Reliable Approach for Transport Session Management. |
AICT/ICIW |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Robert W. Taylor |
New Generation Scalable and Dependable Servers. |
NCA |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Manoj Acharya, Abhijit Kulkarni, Rajesh Kuppili, Rohit Mani, Nitin More, Srinivasa Narayanan, Parthiv Patel, Kenneth W. Schuelke, Subbu N. Subramanian |
SOA in the Real World - Experiences. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Ramesh Bharadwaj |
What Is SINS? |
COMPSAC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Prakash Manghwani, Joseph P. Loyall, Praveen Kaushik Sharma, Matthew Gillen, Jianming Ye |
End-to-End Quality of Service Management for Distributed Real-Time Embedded Applications. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Euisuk Kang, Sook-Heon Lee, Myong-Soon Park |
Efficient Prioritized Service Recovery Using Content-Aware Routing Mechanism in Web Server Cluster. |
ICN (2) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1066 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|