1460 search results - page 33 / 292 » Very Lightweight Requirements Modeling |
E4MAS
2006
Springer
14 years 1 months ago
2006
Springer
One large and quite interesting family of MAS applications is characterized (1) by their large scale in terms of number of agents and physical distribution, (2) by their very dynam...
SPIN
1999
Springer
14 years 1 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
DAIS
2009
13 years 10 months ago
2009
Abstract. Applications for Wireless Sensor Networks (WSNs) are being spread to areas in which the contextual parameters modeling the environment are changing over the application l...
ROBIO
2006
IEEE
14 years 3 months ago
2006
IEEE
- Suddenly occurring collisions or unintentional motions represent a high safety risk in robotics and must be prevented. Especially for humanoid robots, the influence of disturbanc...