118 search results - page 24 / 24 » Constraint Functional Logic Programming over Finite Domains |
GPCE
2009
Springer
13 years 9 months ago
2009
Springer
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to ...
CAISE
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
LOPSTR
2007
Springer
13 years 11 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...