1640 search results - page 1 / 328 » Design of Synchronous Action Systems |
VLSID
2000
IEEE
13 years 9 months ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
COMPSAC
2004
IEEE
13 years 8 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
AAAI
2008
13 years 6 months ago
2008
In this paper, we combine for the first time the methods of dynamic mechanism design with techniques from decentralized decision making under uncertainty. Consider a multi-agent s...
ATAL
2003
Springer
13 years 9 months ago
2003
Springer
According to the taxonomy for agent activity, proposed by V. Parunak, a collaboration is an interaction between agents of a multi-agent system (MAS) whereby the agents explicitly ...
ACSD
2006
IEEE
13 years 10 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...