4326 search results - page 64 / 866 » A Model for Process Service Interaction |
135
click to vote
APSEC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
127
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...
152
Voted
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Automating business processes especially in the tertiary sector is still a challenge as they are normally knowledge intensive, little automated but compliance relevant. To meet the...
131
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
200
click to vote
ICSNW
2004
Springer
15 years 10 months ago
2004
Springer
Knowledge Sifter is a scaleable agent-based system that supports access to heterogeneous information sources such as the Web, open-source repositories, XML-databases and the emergi...