4688 search results - page 775 / 938 » Dynamics of Control |
161
click to vote
PVM
2007
Springer
16 years 18 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
189
click to vote
RAID
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
178
click to vote
SARA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We describe a way to improve the performance of MDP planners by modifying them to use lower and upper bounds to eliminate non-optimal actions during their search. First, ...
176
click to vote
SMALLTALK
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
168
click to vote
SSS
2007
Springer
16 years 18 days ago
2007
Springer
Consider a network of processes that exchange messages via FIFO communication channels. Each process chooses a subset of its neighboring processes to be its successors. Furthermore...