592 search results - page 35 / 119 » Can Component Service-Based Systems Be Proved Correct |
120
Voted
SOFSEM
2010
Springer
15 years 1 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
98
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Experience with generating simulation data of high energy physics experiments has shown that a job monitoring system (JMS) is essential to understand failures of jobs within the G...
122
Voted
IJSN
2008
15 years 3 months ago
2008
: Firewalls have been designed as a major component to protect a network or a server from being attacked. However, due to their emphasis on packet filtering rather than verifying u...
114
Voted
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
119
click to vote
SRDS
2003
IEEE
15 years 8 months ago
2003
IEEE
Group communication protocols constitute a basic building block for highly dependable distributed applications. Designing and correctly implementing a group communication system (...