7209 search results - page 910 / 1442 » Software Engineering for Multi-Agent Systems |
141
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
143
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
130
click to vote
TASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
248
click to vote
VLSI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
100
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Question-answering dialogue systems have found many applications in interactive learning environments. This paper is concerned with one such application for Army leadership traini...