7340 search results - page 416 / 1468 » The Behavior of Tutoring Systems |
167
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
206
click to vote
SP
1999
IEEE
15 years 11 months ago
1999
IEEE
Intrusion detection systems rely on a wide variety of observable data to distinguish between legitimate and illegitimate activities. In this paper we study one such observable-seq...
197
click to vote
ICPADS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
178
click to vote
ANTSW
2006
Springer
15 years 10 months ago
2006
Springer
It is often believed that the performance of ant system, and in general of ant colony optimization algorithms, depends somehow on the scale of the problem instance at hand. The iss...
155
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...