2607 search results - page 356 / 522 » On the Architecture of System Verification Environments |
179
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Multi-agent systems benefit greatly from an organization design that guides agents in determining when to communicate, how often, with whom, with what priority, and so on. However...
173
click to vote
WECWIS
2007
IEEE
16 years 25 days ago
2007
IEEE
Market players that can respond to critical business events faster than their competitors will end up as winners in the fast moving economy. Event-based systems have been develope...
176
click to vote
ICAS
2005
IEEE
16 years 5 days ago
2005
IEEE
Research in overlay and P2P networking has been tightly focused on fundamentals in the last few years, leading to developments on a range of important issues. The time has come to...
183
click to vote
HT
1991
ACM
15 years 10 months ago
1991
ACM
Most hypermedia systems emphasize the integration of graphics, images, video, and audio into a traditional hypertext framework. The hyperspeech system described in this paper, a s...
131
click to vote
JDM
2000
15 years 6 months ago
2000
Advanced Traveler Information Systems (ATIS) require e cient information retrieval and updating in a dynamic environment at di erent geographical scales. ATIS applications are use...