Sciweavers

7288 search results - page 120 / 1458
» On process rate semantics
Sort
View
136
Voted
ATAL
2005
Springer
15 years 10 months ago
OWL-P: OWL for protocol and processes
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
Ashok U. Mallya, Nirmit Desai, Amit K. Chopra, Mun...
BPM
2005
Springer
181views Business» more  BPM 2005»
15 years 10 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
126
Voted
CONCUR
2005
Springer
15 years 10 months ago
SOS for Higher Order Processes
d Abstract) MohammadReza Mousavi1 , Murdoch J. Gabbay2 , and Michel A. Reniers1 1 Department of Computer Science, 2 Department of Computer Science, Eindhoven University of Technolo...
Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. R...
LICS
2009
IEEE
15 years 11 months ago
Psi-calculi: Mobile Processes, Nominal Data, and Logic
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
ANLP
1997
83views more  ANLP 1997»
15 years 6 months ago
Applying Repair Processing in Chinese Homophone Disambiguation
Repair processing plays an important role in spoken language processing systems. This paper proposes a method for correcting Chinese repetition repairs and demonstrates the effect...
Yue-Shi Lee, Hsin-Hsi Chen