683 search results - page 116 / 137 » Modelling Evolvable Systems: A Temporal Logic View |
128
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
111
click to vote
SEUS
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
140
Voted
EAGC
2003
Springer
15 years 7 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
133
click to vote
SRDS
1999
IEEE
15 years 6 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
121
Voted
CHARME
2005
Springer
15 years 7 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...