56 search results - page 4 / 12 » An Update Operator for Strategic Ability |
CCS
2001
ACM
13 years 10 months ago
2001
ACM
Abstract. A device that performs private key operations (signatures or decryptions), and whose private key operations are protected by a password, can be immunized against offline...
ESOP
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
TON
2010
13 years 4 months ago
2010
Abstract—Distributed routing algorithms may give rise to transient loops during path recomputation, which can pose significant stability problems in high-speed networks. We pres...
ICDCN
2009
Springer
14 years 27 days ago
2009
Springer
Abstract. Much of the data consumed today is dynamic, typically gathered from distributed sources including sensors, and used in real-time monitoring and decision making applicatio...
HICSS
2008
IEEE
14 years 18 days ago
2008
IEEE
Electronic Commerce which enables business transactions to be conducted electronically has demonstrated significant operational and strategic benefits. Developed countries have ac...