323 search results - page 5 / 65 » Verifying the Mondex Case Study |
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
IEEESCC
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
ACSD
2003
IEEE
14 years 3 months ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
ADAEUROPE
2010
Springer
14 years 2 months ago
2010
Springer
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...
BIOCOMP
2006
13 years 11 months ago
2006
- We developed a method of reverse engineering to compare the behaviour the enzyme proteins with the existing standard concepts. Our work is based on the strong assumption from the...