Sciweavers

12981 search results - page 2354 / 2597
» Model Checking (Abstract)
Sort
View
ECOWS
2006
Springer
15 years 6 months ago
Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach
We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete funct...
Jyotishman Pathak, Samik Basu, Robyn R. Lutz, Vasa...
DEXA
2005
Springer
80views Database» more  DEXA 2005»
15 years 6 months ago
SM3+: An XML Database Solution for the Management of MPEG-7 Descriptions
Abstract. MPEG-7 is a promising standard for the description of multimedia content. A lot of applications based on MPEG-7 media descriptions have been set up. Therefore, an efficie...
Yang Chu, Liang-Tien Chia, Sourav S. Bhowmick
ECLIPSE
2005
ACM
15 years 6 months ago
NaCIN: an Eclipse plug-in for program navigation-based concern inference
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
Imran Majid, Martin P. Robillard
AIIA
2007
Springer
15 years 5 months ago
Plan Diagnosis and Agent Diagnosis in Multi-agent Systems
Abstract. The paper discusses a distributed approach for monitoring and diagnosing the execution of a plan where concurrent actions are performed by a team of cooperating agents. T...
Roberto Micalizio, Pietro Torasso
AINA
2007
IEEE
15 years 5 months ago
Cross Layer Routing for Multihop Cellular Networks
Abstract— We propose a unified cross layer routing protocol with multiple constraints for CDMA multihop cellular networks (MCN). Multiple constraints are imposed on intermediate...
Govindan Kannan, Shabbir N. Merchant, Uday B. Desa...
« Prev « First page 2354 / 2597 Last » Next »