12981 search results - page 2354 / 2597 » Model Checking (Abstract) |
130
click to vote
ECOWS
2006
Springer
15 years 6 months ago
2006
Springer
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...
140
click to vote
DEXA
2005
Springer
15 years 6 months ago
2005
Springer
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...
115
click to vote
ECLIPSE
2005
ACM
15 years 6 months ago
2005
ACM
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...
144
click to vote
AIIA
2007
Springer
15 years 5 months ago
2007
Springer
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...
147
click to vote
AINA
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— We propose a unified cross layer routing protocol with multiple constraints for CDMA multihop cellular networks (MCN). Multiple constraints are imposed on intermediate...