314 search results - page 32 / 63 » Validating Specifications for Model-Based Testing |
77
Voted
EAAI
2008
14 years 10 months ago
2008
Multi-agent systems allow the simulation of complex phenomena that cannot easily be described analytically. Multi-agent approaches are often based on coordinating agents whose act...
79
Voted
COMPSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
Service-Oriented Architecture (SOA) is a system architecture in which a collection of loosely coupled services communicate with each other using standard interfaces and message-ex...
78
Voted
AROBOTS
2004
2004
Propagation of Uncertainty in Cooperative Multirobot Localization: Analysis and Experimental Results
14 years 10 months ago
This paper examines the problem of cooperative localization for the case of large groups of mobile robots. A Kalman filter estimator is implemented and tested for this purpose. The...
WCE
2007
14 years 11 months ago
2007
— This paper presents an analytical model for calculating the deformation behavior of an elastic, composite strut comprising any number of materials, which are represented by an ...
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we propose a Proximity Based automated Access Control (PBAC) model for smart-ED environments which improves the existing ED work-flow by automating mundane administ...