1032 search results - page 169 / 207 » Extended Computation Tree Logic |
HPDC
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper, we present a performance evaluation of a wide-area cluster system based on a rewallenabled Globus metacomputing toolkit. In order to establish communication links ...
CHI
2004
ACM
15 years 10 months ago
2004
ACM
We present a set of interaction techniques that make novel use of a small pressure-sensitive pad to allow one-handed direct control of a large number of parameters. The surface of...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
BPM
2007
Springer
15 years 3 months ago
2007
Springer
The basic objective of collaborative supply chain planning (CSCP) is to fulfill the demand of the customers by integrating a network of organizations through mediums such as intern...
GI
2008
Springer
14 years 10 months ago
2008
Springer
: Computer games play an increasing role in our modern information society. Besides pure entertainment, games can provide valuable input for social interaction, learning, etc. Rece...