3868 search results - page 163 / 774 » Open Systems in TLA |
194
click to vote
PPOPP
2006
ACM
16 years 29 days ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...
153
click to vote
CSREASAM
2006
15 years 8 months ago
2006
Enhanced Pretty Good Privacy (EPGP) is a new cryptosystem based on Pretty Good Privacy (PGP), used for the purpose of secure e-mail message communication over an open network. The...
212
click to vote
RP
2010
Springer
15 years 4 months ago
2010
Springer
We adapt hypergraph rewriting system to a generalization of Vector Addition Systems with States (VASS) that we call vector addition systems with pairs (VASP). We give rewriting sys...
192
click to vote
AAMAS
2006
Springer
15 years 7 months ago
2006
Springer
In many dynamic open systems, agents have to interact with one another to achieve their goals. Here, agents may be self-interested and when trusted to perform an action for another...
178
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Current approaches to the design of interactive systems emphasize openness, dynamic behavior, and evolution of the system. There is also a growing interest in accounting for human...