3281 search results - page 446 / 657 » An Approach to use Executable Models for Testing |
136
click to vote
ICALT
2006
IEEE
16 years 2 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...
137
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...
166
Voted
ETRICS
2006
15 years 9 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...
165
click to vote
OWLED
2007
15 years 7 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,...
170
click to vote
WISES
2003
15 years 7 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...