945 search results - page 70 / 189 » Posix: A Model for Future Computing |
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
Automated negotiation has attracted growing interest within fields such as e-business, multi-agent systems, and web services. Nevertheless, a majority of automated negotiation res...
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
114
click to vote
ISW
2004
Springer
15 years 3 months ago
2004
Springer
In key-insulated cryptography, there are many private keys with different indexes and a single, fixed public key. When the trust model includes multiple Certification Authoritie...
CCS
2006
ACM
15 years 1 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...