930 search results - page 16 / 186 » Modelling Control Systems in an Event-Driven Coordination La... |
159
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
173
click to vote
SAC
2002
ACM
15 years 5 months ago
2002
ACM
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
136
click to vote
IPSN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
171
click to vote
FMCO
2007
Springer
16 years 2 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
172
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a distributed application named AERIAL which allows coordination and control of multiple Unmanned Aerial Vehicles (UAVs) engaged in temporally constrained miss...