5722 search results - page 828 / 1145 » Dynamic inference control |
132
click to vote
ASYNC
2003
IEEE
16 years 3 days ago
2003
IEEE
High-speed asynchronous ripple FIFOs may be easily embedded in synchronous environments and can elegantly handle the problem of forwarding data between clock domains. In cases whe...
189
click to vote
RSP
2003
IEEE
16 years 2 days ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
158
click to vote
CEEMAS
2003
Springer
16 years 1 days ago
2003
Springer
Agents of a multi-agent system (MAS) must synchronize whenever they want to perform simultaneous actions. In situated MASs, typically, the control over such synchronization is cent...
272
click to vote
GLOBAL
2003
Springer
16 years 14 hour ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
143
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose four architectures for intrusion-tolerant database systems. While traditional secure database systems rely on prevention controls, an intrusion-tolerant ...