1438 search results - page 115 / 288 » Models for Trustworthy Service and Process Oriented Systems |
212
click to vote
IS
2006
15 years 7 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)...
204
Voted
MEDINFO
2007
15 years 8 months ago
2007
In addition to the meaning as Health Informatics Society of Australia, HISA is the acronym used for the new European Standard: Health Informatics – Service Architecture. This EN...
179
Voted
EUMAS
2006
15 years 8 months ago
2006
When developing BDI agent-based systems, some design patterns such as incompatible intentions, multiple strategies, intention decomposition, etc. would be very useful for specifyi...
138
click to vote
ORL
2008
15 years 7 months ago
2008
We consider polling systems with general service times and switch-over times, gated service at all queues and with general renewal arrival processes. We derive closed-form express...
182
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...