Sciweavers

2940 search results - page 238 / 588
» Behavioral Constraints for Services
Sort
View
MIDDLEWARE
2005
Springer
16 years 4 days ago
Scrivener: Providing Incentives in Cooperative Content Distribution Systems
Cooperative peer-to-peer (p2p) applications are designed to share the resources of participating computers for the common good of all users. However, users do not necessarily have ...
Animesh Nandi, Tsuen-Wan Ngan, Atul Singh, Peter D...
ICWS
2004
IEEE
15 years 8 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
JUCS
2007
146views more  JUCS 2007»
15 years 6 months ago
Ontology and Grammar of the SOPHIE Choreography Conceptual Framework - An Ontological Model for Knowledge Management
: Ontologies have been recognized as a fundamental infrastructure for advanced approaches to Knowledge Management (KM) automation in SOA. Building services communicate with each ot...
Sinuhé Arroyo
ICRA
2007
IEEE
117views Robotics» more  ICRA 2007»
16 years 29 days ago
Integration of Coordination Mechanisms in the BITE Multi-Robot Architecture
— Recent years are seeing a renewed interest in general multi-robot architectures, capable of automating coordination. However, few architectures explore integration of multiple ...
Gal A. Kaminka, Inna Frenkel
HYBRID
2000
Springer
15 years 10 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...