3686 search results - page 106 / 738 » An Approach to a Trustworthy System Architecture Using Virtu... |
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 ...
SPW
2000
Springer
14 years 1 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
OSDI
2004
ACM
14 years 10 months ago
2004
ACM
We propose a method to reuse unmodified device drivers and to improve system dependability using virtual machines. We run the unmodified device driver, with its original operating...
RE
2001
Springer
14 years 2 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
COOPIS
2002
IEEE
14 years 3 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...