9067 search results - page 410 / 1814 » Adaptive Model Checking |
183
click to vote
AAMAS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. So far, the main focus of research on adaptability in multiagent systems (MASs) has been on the agents’ behavior, for example on developing new learning techniques and ...
177
click to vote
MIDDLEWARE
2004
Springer
16 years 5 days ago
2004
Springer
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...
147
click to vote
MM
1999
ACM
15 years 11 months ago
1999
ACM
Adaptation techniques for multimedia presentations are mainly concerned with switching between different qualities of single media elements to reduce the data volume and by this ...
184
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
This article builds on insights into how humans cope with emotion to guide the design of virtual humans. Although coping is increasingly viewed in the psychological literature as ...
220
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...