930 search results - page 171 / 186 » Modelling Control Systems in an Event-Driven Coordination La... |
108
Voted
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
121
click to vote
ISTCS
1992
Springer
15 years 3 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
86
Voted
GIS
2010
ACM
14 years 10 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
123
Voted
SEFM
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...