930 search results - page 19 / 186 » Modelling Control Systems in an Event-Driven Coordination La... |
105
click to vote
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
— Multiple, independent robot platforms promise significant advantage with respect to robustness and flexibility. However, coordination between otherwise independent robots req...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
107
click to vote
COORDINATION
2007
Springer
15 years 5 months ago
2007
Springer
Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
120
click to vote
FMCO
2007
Springer
15 years 3 months ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...