1454 search results - page 96 / 291 » Stateful traits and their formalization |
98
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Many high-performance tools, applications and infrastructures, such as Paradyn, STAT, TAU, Ganglia, SuperMon, Astrolabe, Borealis, and MRNet, use data aggregation to synthesize lar...
180
Voted
POPL
2005
ACM
16 years 29 days ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
120
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
108
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...
102
click to vote
ASM
2003
ASM
15 years 5 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...