504 search results - page 65 / 101 » Observational Logic |
110
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
142
click to vote
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
122
click to vote
PADS
1998
ACM
15 years 7 months ago
1998
ACM
This paper presents a sparse state saving scheme for Time Warp parallel discrete event simulation. The scheme bases the selection of the states to be recorded on the event history...
116
click to vote
AINA
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
144
click to vote
CIE
2009
Springer
15 years 7 months ago
2009
Springer
An arithmetic circuit is a labelled, directed, acyclic graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this pap...