89 search results - page 3 / 18 » Implementing Services by Partial State Machines |
SP
2006
IEEE
13 years 11 months ago
2006
IEEE
Attackers and defenders of computer systems both strive to gain complete control over the system. To maximize their control, both attackers and defenders have migrated to low-leve...
ICDCS
2007
IEEE
14 years 2 days ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
PTS
2007
13 years 7 months ago
2007
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...
SICHERHEIT
2010
13 years 3 months ago
2010
Intrusion-tolerant replication enables the construction of systems that tolerate a finite number of malicious faults. An arbitrary number of faults can be tolerated during system ...
SUTC
2006
IEEE
13 years 11 months ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...