626 search results - page 109 / 126 » Scheduling as Rule Composition |
ENTCS
2007
13 years 9 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
COMPSEC
2004
13 years 8 months ago
2004
Security technology suitable for the burgeoning embedded system market has not been widespread. Untrusted code downloaded from the Internet poses numerous security risks due to th...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
SIGECOM
2000
ACM
13 years 8 months ago
2000
ACM
The advent of electronic commerce enables retailers to set prices via automated algorithms. This paper employs the method of experimental economics to examine human behavior in en...
ICSOC
2010
Springer
13 years 7 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...