871 search results - page 3 / 175 » Modular Design of Reactive Systems |
151
click to vote
TPPP
1994
15 years 10 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
166
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Agent-based simulations are an increasingly popular means of exploring and understanding complex social systems. In order to be useful, these simulations must capture a range of a...
188
click to vote
MFCS
1995
Springer
15 years 10 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
175
click to vote
E4MAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...
162
Voted
ICRA
2008
IEEE
16 years 23 days ago
2008
IEEE
— We present a high-level language for programming modular robotic systems, based on locally distributed predicates (LDP), which are distributed conditions that hold for a connec...