Sciweavers

2696 search results - page 339 / 540
» Semantic Abstraction and Anaphora
Sort
View
IC
2004
15 years 7 months ago
WSPDS: Web Services Peer-to-Peer Discovery Service
Abstract-- The Web Services infrastructure is a distributed computing environment for service-sharing. In this environment, resource discovery is required as a primitive functional...
Farnoush Banaei Kashani, Ching-Chien Chen, Cyrus S...
ICWS
2004
IEEE
15 years 7 months ago
Realizability of Conversation Protocols With Message Contents
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...
Xiang Fu, Tevfik Bultan, Jianwen Su
OPODIS
2004
15 years 7 months ago
A Constraint-Based Formalism for Consistency in Replicated Systems
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
Marc Shapiro, Karthikeyan Bhargavan, Nishith Krish...
ISDO
2000
194views Business» more  ISDO 2000»
15 years 7 months ago
Contract-Based Transaction Management in Cross-Organizational Workflow Management
Cross-organizational workflow management is an essential ingredient for process integration in virtual enterprises. To obtain cross-organizational workflow processes with robust s...
Paul W. P. J. Grefen
ECAI
2010
Springer
15 years 7 months ago
Foundations of Tree-like Local Model Updates
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
Yan Zhang, Michael Kelly, Yi Zhou