2317 search results - page 253 / 464 » Model based testing for agent systems |
116
Voted
TCAD
2008
15 years 3 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
123
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe our real time decision support system; a system that supports information gathering and managing of an investment portfolio. Our system uses the Object Oriented Bayesi...
139
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
The paper describes main features of an Intelligent Scheduler for Road Transportation Applications based on Magenta agent technology and characterized by a number of unique, advan...
130
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
128
Voted
ADC
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents an original approach to modelling user’s information need in text filtering environment. This approach relies on a specific novelty detection model which a...