2034 search results - page 121 / 407 » Declarative Agent Control |
HASE
2007
IEEE
14 years 23 days ago
2007
IEEE
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
ACSAC
2001
IEEE
14 years 17 days ago
2001
IEEE
The RBAC96 access control model has been the basis for extensive work on role-based constraint specification and role-based delegation. However, these practical extensions can als...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
CEEMAS
2003
Springer
14 years 2 months ago
2003
Springer
This paper intends to discuss self-organisation and learning capabilities in autonomous and cooperative holons that are part of a holonic manufacturing control system. These capabi...
ECAL
2005
Springer
14 years 2 months ago
2005
Springer
This research investigates an evolutionary approach to engineering agent collectives that accomplish tasks cooperatively. In general, reproduction and selection form the two corner...