4460 search results - page 612 / 892 » Formal methods for interactive systems |
168
click to vote
COORDINATION
2007
Springer
16 years 23 days ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
175
click to vote
SEKE
2007
Springer
16 years 21 days ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
185
click to vote
IAT
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper introduces a multi-agent system (MAS) approach for modelling social behaviours in children’s play. The children, the dynamics of their play, and the playground are mo...
163
click to vote
IAT
2006
IEEE
16 years 19 days ago
2006
IEEE
Multi-agent planning is a fundamental problem in multiagent systems that has acquired a variety of meanings in the relative literature. In this paper we focus on a setting where m...
191
click to vote
JCDL
2005
ACM
16 years 4 days ago
2005
ACM
The Exploratorium, an interactive hand-on science museum, is developing an online collection of science learning and teaching resources to better serve educators’ needs for peda...