254 search results - page 18 / 51 » Using Attributed Variables in the Implementation of Concurre... |
139
click to vote
IS
2006
15 years 2 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
127
Voted
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
107
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
112
click to vote
SOSP
1997
ACM
15 years 3 months ago
1997
ACM
In this paper we show that application-aware adaptation, a collaborative partnership between the operating system and applications, offers the most general and effective approach ...
123
click to vote
RISE
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...