2902 search results - page 442 / 581 » Simple Local Models for Complex Dynamical Systems |
ALGORITHMICA
2004
14 years 10 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
MSWIM
2003
ACM
15 years 3 months ago
2003
ACM
This paper presents ARC (Adaptive Range Control), a communication range control mechanism using directional antennas to be implemented across multiple layers. ARC uses directional...
FCCM
2006
IEEE
15 years 4 months ago
2006
IEEE
It has been shown that a small number of FPGAs can significantly accelerate certain computing tasks by up to two or three orders of magnitude. However, particularly intensive lar...
93
Voted
BIRTHDAY
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...