11172 search results - page 242 / 2235 » Testing Physical Systems |
195
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
Cooperation among autonomous agents has been discussed in the DAI community for several years. Papers about cooperation 6,45 , negotiation 33 , distributed planning 5 , and coalit...
205
Voted
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
172
click to vote
CLUSTER
2007
IEEE
15 years 6 months ago
2007
IEEE
— In this paper, we present an architecture that encapsulates system hardware inside a software component used for job execution and status monitoring. The development of this in...
152
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
In tangible learning systems, the facility to promote physically active engagement highlights the need to understand how different designs impact on action and interaction, and th...
174
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...