1269 search results - page 166 / 254 » Pi-Calculus in Logical Form |
WLP
2004
Springer
14 years 3 months ago
2004
Springer
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...
IDEAS
2002
IEEE
14 years 2 months ago
2002
IEEE
Boolean expression simplification is a well-known problem in the history of Computer Science. The problem of determining prime implicates from an arbitrary Boolean expression has...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
DEON
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...
ATAL
2001
Springer
14 years 2 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...