3970 search results - page 733 / 794 » A Logic For Causal Reasoning |
231
click to vote
GLOBAL
2003
Springer
15 years 10 months 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...
144
Voted
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
138
click to vote
ISHPC
2003
Springer
15 years 10 months ago
2003
Springer
We developed a multithreaded parallel implementation of a sequence alignment algorithm that is able to align whole genomes with reliable output and reasonable cost. This paper pres...
162
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Built-In Self-Test (BIST) is less often applied to random logic than to embedded memories due to the following reasons: Firstly, for a satisfiable fault coverage it may...
154
Voted
COOPIS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...