9284 search results - page 153 / 1857 » Knowledge State Algorithms |
155
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
143
Voted
SIGCOMM
2000
ACM
15 years 8 months ago
2000
ACM
Routers must do a best matching pre x lookup for every packet solutions for Gigabit speeds are well known. As Internet link speeds higher, we seek a scalable solution whose speed ...
167
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
We consider a discrete time state estimation problem over a packet-based network. In each discrete time step, a measurement packet is sent across a lossy network to an estimator u...
139
Voted
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
108
Voted
ISPDC
2008
IEEE
15 years 11 months ago
2008
IEEE
ACT OF A DISSERTATION submitted in partial fulfillment of the requirements for the degree DOCTOR OF PHILOSOPHY Department of Computing and Information Sciences College of Engineer...