Sciweavers

4326 search results - page 72 / 866
» A Model for Process Service Interaction
Sort
View
SOFSEM
2009
Springer
15 years 12 months ago
Epistemic Strategies and Games on Concurrent Processes
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
Konstantinos Chatzikokolakis, Sophia Knight, Praka...
BPM
2008
Springer
133views Business» more  BPM 2008»
15 years 5 months ago
Auto-completion for Executable Business Process Models
This work presents an auto-completion mechanism for supporting the creation of executable business process models. Currently, process modeling tools provide only little support to ...
Matthias Born, Christian Brelage, Ivan Markovic, D...
AC
1998
Springer
15 years 2 months ago
Natural Language Processing: A Human-Computer Interaction Perspective
Natural language processing has been in existence for more than fifty years. During this time, it has significantly contributed to the field of human-computer interaction in terms...
Bill Z. Manaris
BPM
2005
Springer
181views Business» more  BPM 2005»
15 years 8 months ago
WSMX Process Mediation Based on Choreographies
Abstract. One of the most difficult obstacles Web Services have to overcome in the attempt to exploit the true potential of the World Wide Web is heterogeneity. Caused by the natur...
Emilia Cimpian, Adrian Mocan
ESWS
2009
Springer
15 years 26 days ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki