1360 search results - page 228 / 272 » Self-Managed Systems: an Architectural Challenge |
FMICS
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
FPL
2008
Springer
13 years 10 months ago
2008
Springer
Cryptanalysis of symmetric and asymmetric ciphers is a challenging task due to the enormous amount of involved computations. To tackle this computational complexity, usually the e...
AAAI
2010
13 years 10 months ago
2010
Modern complex games and simulations pose many challenges for an intelligent agent, including partial observability, continuous time and effects, hostile opponents, and exogenous ...
HIS
2008
13 years 10 months ago
2008
Simulating the realistic behavior of large crowds of autonomous agents is still a challenge for the computer graphics community. In order to handle large crowds, some scalable arc...
HCI
2007
13 years 10 months ago
2007
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...