534 search results - page 58 / 107 » Agent-environment interaction in a multi-agent system: a for... |
100
click to vote
SAM
2004
15 years 15 days ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
IAT
2009
IEEE
15 years 5 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
157
click to vote
ESEC
1999
Springer
15 years 3 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
84
Voted
IJACTAICIT
2010
14 years 8 months ago
2010
Using multimodality in a computing system is advantageous in the sense that it makes computing more accessible to a wide range of users including those with impairments. Our work ...
83
Voted
ENTCS
2006
14 years 11 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...