496 search results - page 12 / 100 » Using the Temporal Logic RDL for Design Specifications |
85
Voted
IJAOSE
2010
14 years 7 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
LDVF
2000
14 years 9 months ago
2000
The aim of this paper is to provide an analysis of the function of imperatives in dialogue. In particular, the focus is on the use of logically complex imperatives (e.g., `Say hel...
ENTCS
2006
14 years 9 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
99
Voted
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
We investigate the temporal implications of information technology by examining its use in the work practices of physicians and nurses in an emergency department. We conceptualize...
TVLSI
2008
14 years 9 months ago
2008
Reconfigurable hardware is ideal for use in Systems-on-a-Chip, as it provides both hardware-level performance and post-fabrication flexibility. However, any one architecture is ra...