333 search results - page 52 / 67 » Software Architecture Critics in Argo |
FLAIRS
2010
13 years 9 months ago
2010
Intelligent software agents (agents) adhering to the action selection paradigm have only one primary task that they need accomplish at any given time: to choose their next action....
ISARCS
2010
13 years 9 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
CODES
2008
IEEE
13 years 7 months ago
2008
IEEE
With power becoming a major constraint for multi-processor embedded systems, it is becoming important for designers to characterize and model processor power dissipation. It is cr...
WIAS
2010
13 years 5 months ago
2010
The rapid development of computer network technologies and social informationalization has brought many new opportunities and challenges in information security. With improved info...