930 search results - page 16 / 186 » Modelling Control Systems in an Event-Driven Coordination La... |
KBSE
2000
IEEE
15 years 4 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...
100
click to vote
SAC
2002
ACM
14 years 11 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...
IPSN
2005
Springer
15 years 5 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...
110
Voted
FMCO
2007
Springer
15 years 5 months 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...
104
Voted
ATAL
2008
Springer
15 years 1 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...