395 search results - page 68 / 79 » Program abstractions for behaviour validation |
129
Voted
TON
2012
13 years 2 months ago
2012
Abstract—Various low-latency anonymous communication systems such as Tor and Anonymizer have been designed to provide anonymity service for users. In order to hide the communicat...
104
Voted
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
145
click to vote
DSD
2011
IEEE
14 years 7 days ago
2011
IEEE
Abstract—We present a new low-level interfacing scheme for connecting custom accelerators to processors that tolerates latencies that usually occur when accessing hardware accele...
105
Voted
ATAL
1997
Springer
15 years 4 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
128
click to vote
AAMAS
2004
Springer
15 years 10 days ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...