1286 search results - page 95 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
93
Voted
ICDCS
2005
IEEE
15 years 6 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...
117
Voted
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
99
Voted
ECOOPW
1999
Springer
15 years 5 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...
119
Voted
COLCOM
2007
IEEE
15 years 5 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 ...
119
Voted
CCS
2004
ACM
15 years 6 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...