3281 search results - page 446 / 657 » An Approach to use Executable Models for Testing |
153
click to vote
ICALT
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper describes an approach for modeling and implementing a collaborative learning situation, which is part of a real lifelong learning scenario in astronomy. We adopt and sl...
149
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
177
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
179
click to vote
OWLED
2007
15 years 8 months ago
2007
Taking care of an elderly in loss of cognitive autonomy is a challenging task. Artificial agents, such as the Telehealth Smart Home (TSH) system can facilitate that task. However,...
181
click to vote
WISES
2003
15 years 8 months ago
2003
Abstract — Since sensor/actuator networks are to be used in error-prone environments, it is required that media access protocols for such networks are tolerant to failures. Field...