|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 430 occurrences of 333 keywords
|
|
|
Results
Found 758 publication records. Showing 758 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Zeyad Alkhalifa, V. S. S. Nair |
Design of a Portable Control-Flow Checking Technique. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mario Dal Cin |
Verifying Fault-Tolerant Behavior of State Machines. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Hecht, Myron Hecht, Dolores R. Wallace |
Toward More Effective Testing for High-Assurance Systems. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | James M. Boyle, R. Daniel Resler, Victor L. Winter |
Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Edgar Nett, Michael Mock |
A Recovery Model for Extended Real-Time Transactions. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kinji Mori |
High-Assurance Application Systems and Their Technologies Under Changing Situations. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Guillem Bernat, José Miró-Julià, Julián Proenza |
A Technique to Analyze the Tolerance to Transient Overloads of a Fault-Tolerant Real-Time System. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michel Raynal |
A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bojan Cukic |
Combining Testing and Correctness Verification in Software Reliability Assessment. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
probability of correctness, process-control software, Software reliability, safety-critical systems, statistical sampling |
1 | Andrea Bondavalli, Ivan Mura, Manuela Nelli |
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Thomas F. Lawrence |
The Quality of Service Model and High Assurance. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gilberto Matos, James M. Purtilo, Elizabeth L. White |
Automated Computation of Decomposable Synchronization Conditions. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | William G. Castaneda |
Software Complexity Analysis on Department of Defense Real-Time Systems. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | |
2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings |
HASE |
1997 |
DBLP BibTeX RDF |
|
1 | Sandeepan Sanyal, Viren Shah, Samrat Bhattacharya |
Framework of a Software Reliability Engineering Tool. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | K. H. Kim, Chittur Subbaraman, Eltefaat Shokri |
High-Coverage Fault Tolerance in Real-Time Systems Based on Point-to-Point Communication. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
Distributed recovery block, recovery time bound, fault-tolerance, real-time systems, fault coverage, point-to-point networks, network surveillance |
1 | Minsoon Kweon, Soomyung Park, Sangjin Joung, Sunyoung Han, Moon-hae Kim |
Scalable and Reliable Synchronous Collaboration Environment on CORBA using WWW. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
Synchronous Collaboration Environment, WWW, CORBA, RTP |
1 | Insup Lee 0001, Oleg Sokolsky |
Analytical Design of Evolutionary Control Flow Components. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Saurav Chatterjee, Jaroslaw J. Sydir, Bikash Sabata, Thomas F. Lawrence |
Modeling Applications for Adaptive QoS-based Resource Management. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kam S. Tso, Eltefaat Shokri, Roger J. Dziegiel Jr. |
ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ann T. Tai, Kishor S. Trivedi, Herbert Hecht |
On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
Dependability evaluation workbench, off-the-shelf modeling techniques and tools, SHARPE |
1 | Robert W. Sumners, Jacob A. Abraham |
Hierarchical Specification of System Behavior. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
specification, temporal logic, abstraction |
1 | Anouar Jamoussi |
An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | J. Boulanger, V. Delebarre, Stéphane Natkin, J. Ozello |
Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Heidrun Engel |
Data flow transformations to detect results which are corrupted by hardware faults. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
data flow transformations, corrupt result detection, hardware fault coverage, modified instruction, diverse data representation, modified instruction sequences, assembler level, high language level, fault tolerant computing, software faults, design diversity, hardware fault detection |
1 | Farokh B. Bastani, Bojan Cukic |
Impact of program transformation on software reliability assessment. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment |
1 | Nuno Neves 0001, W. Kent Fuchs |
Adaptive recovery for mobile environments. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
adaptive recovery, continuous access, host disconnection, message coordination, checkpoint protocol, network characteristics, recovery time, fault tolerance, performance, mobile computing, ubiquitous computing, time, fault detection, portable computers, message exchanges |
1 | Norman E. Johnson |
High Assurance Life and Death. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Thomas F. Keefe, Wei-Tek Tsai |
A multiversion transaction scheduler for centralized multilevel secure database systems. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
multiversion transaction scheduler, centralized multilevel secure database systems, multilevel secure database management systems, MLS/DBMSs, secure multiversion scheduling protocol, serializable schedules, MLS noninterference assertions, timestamp generation, concurrency, concurrency control, transactions, correctness, contention, failure, covert channels, data access, abstract model, concurrent execution, multiple versions |
1 | 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 |
1 | Ramkumar V. Pichai, Joseph E. Urban |
A technique for validating Booch object-oriented designs from extensions to the Descartes specification language. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
Booch object-oriented design validation, Descartes specification language, executable specification language, traceability approach, real time systems, software reliability, rapid prototyping, object-oriented methods, CASE tool, safety critical software, secure systems, software validation, high assurance systems |
1 | Qi Shi 0001, Ning Zhang |
A general approach to secure components composition. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
general approach, secure components composition, compatible security requirements, composable security property, connectivity, security of data, security properties |
1 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata |
A new compositional method for condensed state-space verification. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
compositional method, condensed state-space verification, large-scale systems analysis, condensation rules, tightly coupled modules, reachable marking detection, Petri nets, program verification, reachability analysis, concurrent systems, compositional verification, deadlock detection, dynamic behavior, dynamic properties, state space explosion |
1 | Richard Yu |
Reliability prediction method for electronic systems: a comparative reliability assessment method. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
reliability prediction method, electronic systems, comparative reliability assessment method, computer systems reliability, generic failure rates, decision tool, reliability performance, predecessor system, reliability ratio, realistic data, predicted reliability, software reliability, Analytical Hierarchy Process, performance characteristics, operational environments, failure modes, quantitative data |
1 | 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 |
1 | Myong H. Kang, Judith N. Froscher, Ira S. Moskowitz |
A framework for MLS interoperability. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
MLS interoperability framework, distributed object oriented computing, location independence, MLS products, rigorous evaluation/certification procedures, security critical components, MLS architectural framework, security critical components/functions, secure use, parallel programming, software reuse, component based development, legacy systems, multilevel security, architectural framework, computing paradigm |
1 | Scott Dawson, Farnam Jahanian, Todd Mitton |
Fault injection experiments on real-time protocols using ORCHESTRA. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
fault injection experiments, ORCHESTRA software fault injection environment, Unix sockets, Real Time Mach, fault injection mechanism, timing intrusiveness, fault tolerance, software fault tolerance, timing behavior, real time protocols, operating system support |
1 | Ramakrishna V. Vishnuvajjala, Satish Subramanian, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott |
Flow analysis for concurrent, reactive, real-time systems. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | José M. Drake |
Writing a user functional description for an Army software metrics support tool. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
user functional description, Army, software metrics support tool, UFD, users viewpoint, document, requirements specification, domain knowledge, military computing |
1 | David L. MacPherson |
Specification and Testing of High-Assurance Systems. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
missile control, Mk48 ADCAP torpedo, torpedo high-assurance testing, US Navy, submarine-launched torpedo, anti-submarine weapon, wire-guided thermal torpedo, depth profile, speed profile, arctic ice canopy, software controlled weapon, software enhancements, software testing, cost, software upgrades, performance enhancements |
1 | Shi-Kuo Chang |
Active Multimedia Communication Systems. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Winter, James M. Boyle |
Proving refinement transformations for deriving high-assurance software. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification |
1 | Victor L. Winter |
Software on the edge. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
formal specification, formal methods, software reliability, software reliability, software component, safety-critical applications, systems failure |
1 | Takamasa Nara, Masahiro Nakata, Akihiro Ooishi |
Software reliability growth analysis-application of NHPP models and its evaluation. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Voas, Frank Charron, Keith W. Miller 0001 |
Investigating rare-event failure tolerance: reductions in future uncertainty. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
rare-event failure tolerance, computer assurance, failure tolerance assessment technique, software fault tolerance, software fault tolerance, operational profile |
1 | V. T. Thomas |
Ten practical techniques for high assurance systems engineering. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
practical techniques, high assurance systems engineering, system dependability, software quality, complex systems, systems engineering, real-time requirements |
1 | Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan |
Transaction integration for reusable hard real-time components. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
transaction integration, reusable hard real time components, end to end timing requirements, framework based approach, data flow path, component interfaces, placeholders, reusable real time components, software reusability |
1 | |
1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings |
HASE |
1996 |
DBLP BibTeX RDF |
|
1 | Mats Per Erik Heimdahl, Barbara J. Czerny |
Using PVS to analyze hierarchical state-based requirements for completeness and consistency. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML |
1 | Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliott |
Specifying timing constraints in real-time object-oriented systems. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | I-Ling Yen |
Computer security: the good, the bad and the ugly. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
Trusted Computer Systems Evaluation Criteria, computer security, firewall, cost, security of data, data security, high assurance systems |
1 | David B. Stewart, Pradeep K. Khosla |
Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
supervisory programs, policy independent real time operating system mechanisms, timing error detection, estimated worst case execution times, missed deadline, policy independent mechanisms, real time task monitoring, reschedule operation, monitoring mechanism, 6 ms, 1 Kbyte, hard real time systems, scheduling policies, context switch, error handling |
1 | 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 |
1 | Virginia L. Castor |
The Department of Defense Science and Technology (S&T) Program. |
HASE |
1996 |
DBLP BibTeX RDF |
|
1 | Jian Chen, Richard H. Carver |
Selecting and mapping test sequences from formal specifications of concurrent programs. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
test sequence selection, incremental testing, specification partitioning, constraint-style Lotos specification, abstract test sequences, concrete test sequences, Ada implementation, formal specification, formal specifications, concurrent programs, specification-based testing, state explosion problem |
1 | 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 |
1 | Sanghyun Ahn |
Real-time multicast connection establishment over ATM networks. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Raymond A. Paul, M. Farrukh Khan, Shahab Baqai, Arif Ghafoor |
Ensuring quality in distributed multimedia systems. |
HASE |
1996 |
DBLP DOI BibTeX RDF |
cost effective methods, economic efficiency, networked multimedia information systems, multimedia data synchronization, high quality delivery, synchronization techniques, client server environment, software quality, information management, multimedia computing, information dissemination, information infrastructures, distributed multimedia systems |
Displaying result #701 - #758 of 758 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8] |
|