534 search results - page 36 / 107 » Agent-environment interaction in a multi-agent system: a for... |
EUROMICRO
1996
IEEE
15 years 3 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
100
click to vote
ICSEA
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
UAIS
2002
14 years 10 months ago
2002
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
110
click to vote
EDOC
2004
IEEE
15 years 2 months ago
2004
IEEE
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...