Sciweavers

615 search results - page 22 / 123
» Completeness of Combinations of Constructor Systems
Sort
View
AAMAS
2007
Springer
14 years 1 months ago
Bee Behaviour in Multi-agent Systems
Abstract. In this paper we present a new, non-pheromone-based algorithm inspired by the behaviour of biological bees. The algorithm combines both recruitment and navigation strateg...
Nyree Lemmens, Steven de Jong, Karl Tuyls, Ann Now...
APSEC
2008
IEEE
13 years 9 months ago
Emergent Properties in Reactive Systems
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...
Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
GLVLSI
2003
IEEE
145views VLSI» more  GLVLSI 2003»
14 years 25 days ago
Using dynamic domino circuits in self-timed systems
We introduce a simple hierarchical design technique for using dynamic domino circuits to build high-performance self-timed data path circuits. We wrap the dynamic domino circuit i...
Jung-Lin Yang, Erik Brunvand
BIRTHDAY
2005
Springer
14 years 1 months ago
Compiled Labelled Deductive Systems for Access Control
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
Krysia Broda, Alessandra Russo
ACL
1998
13 years 9 months ago
Confirmation in Multimodal Systems
Systems that attempt to understand natural human input make mistakes, even humans. However, humans avoid misunderstandings by confirming doubtful input. Multimodal systems--those ...
David McGee, Philip R. Cohen, Sharon L. Oviatt