1923 search results - page 92 / 385 » Modeling Complexity in Secure Distributed Computing |
ICDCS
2005
IEEE
15 years 3 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
ECOOPW
1999
Springer
15 years 2 months ago
1999
Springer
The desire for exible networking services has given rise to the concept of active networks." Active networks provide a general framework for designing and implementing network...
COLCOM
2007
IEEE
15 years 1 months ago
2007
IEEE
Current collaborative tools are often not able to profit from existing systems for user management. It is therefore necessary for collaborative systems to administrate their users ...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
CCS
2004
ACM
15 years 3 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...