1655 search results - page 140 / 331 » State, Event, Time and Diagram in System Modeling |
194
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
179
click to vote
ICALP
1992
Springer
15 years 10 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
174
click to vote
WSC
2008
15 years 8 months ago
2008
Multinational logistics cooperation is essential for reducing the collective logistics footprint, optimizing resource usage and enhancing interoperability in military operations. ...
184
click to vote
INFSOF
2007
15 years 6 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
270
click to vote
SP
2006
IEEE
16 years 10 days ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...