365 search results - page 31 / 73 » Dynamic Verification of Trust in Distributed Open Systems |
WETICE
1998
IEEE
13 years 12 months ago
1998
IEEE
The MEMOIR framework supports researchers working with a vast quantity of distributed information, by assisting them in finding both relevant documents and researchers with relate...
CCGRID
2003
IEEE
14 years 27 days ago
2003
IEEE
Open multi-agent systems need to cope with the characteristics of the Internet, e.g., dynamic availability of computational resources, latency, and diversity of services. Large-sc...
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
COMPSAC
2002
IEEE
14 years 17 days ago
2002
IEEE
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
WORDS
2002
IEEE
14 years 15 days ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...