1286 search results - page 26 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
EDOC
2009
IEEE
13 years 11 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
ESORICS
2004
Springer
14 years 28 days ago
2004
Springer
We evaluate the anonymity provided by two popular email mix implementations, Mixmaster and Reliable, and compare their effectiveness through the use of simulations which model th...
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
In a set of distributed wireless networks, such as globally distributed cellular systems, different networks could be administered by different operators. Mobile devices subscribe...
FTDCS
1999
IEEE
13 years 12 months ago
1999
IEEE
The Java Security Model has undergone considerable evolution since its initial implementation. However, due to its historical focus on securing machines against attack from hostil...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...