Sciweavers

1383 search results - page 153 / 277
» Computational Mechanisms for Distributed Requirements Engine...
Sort
View
METRICS
1998
IEEE
15 years 9 months ago
Getting a Handle on the Fault Injection Process: Validation of Measurement Tools
In any manufacturing environment, the fault injection rate might be considered one of the most meaningful criterion to evaluate the goodness of the development process. In our fie...
Sebastian G. Elbaum, John C. Munson
137
Voted
TGC
2005
Springer
15 years 10 months ago
Programming Cryptographic Protocols
Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principal...
Joshua D. Guttman, Jonathan C. Herzog, John D. Ram...
ICSM
2009
IEEE
15 years 11 months ago
Prioritizing component compatibility tests via user preferences
Many software systems rely on third-party components during their build process. Because the components are constantly evolving, quality assurance demands that developers perform ...
Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A....
EMSOFT
2005
Springer
15 years 10 months ago
From statecharts to ESP: programming with events, states and predicates for embedded systems
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
Vugranam C. Sreedhar, Maria-Cristina V. Marinescu
ICTAI
2002
IEEE
15 years 10 months ago
A TMO Based Approach to Structuring Real-Time Agents
: Mobile agent structuring is an increasingly practiced branch of distributed computing software engineering. In this paper we discuss the major issues encountered in producing rea...
K. H. Kim