761 search results - page 125 / 153 » A Reactive Approach to Explanation |
104
click to vote
LCN
2003
IEEE
15 years 5 months ago
2003
IEEE
Active Queue Management (AQM) is an attempt to find a delicate balance between two antagonistic Internet queuing requirements: First, buffer space should be maximized to accommod...
SAC
2003
ACM
15 years 5 months ago
2003
ACM
Adaptive query processing in large distributed systems has seen increasing importance due to the rising environmental fluctuations in a growing Internet. We describe Ginga, an ad...
117
click to vote
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
122
click to vote
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
119
click to vote
MASA
2001
Springer
15 years 4 months ago
2001
Springer
This chapter aims to introduce the reader to the basic issues surrounding the design and implementation of intelligent agents. It begins by motivating the idea of an agent, present...