2586 search results - page 181 / 518 » Automatic Abstraction for Congruences |
191
click to vote
EDOC
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
150
click to vote
ICRA
2006
IEEE
16 years 17 days ago
2006
IEEE
— We address the problem of modeling and controlling a swarm of fully actuated point-like robots in three dimensions by generalizing the planar framework from [1]. We define a e...
203
click to vote
MIAR
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract. In this paper, we present a novel approach to matching cerebral vascular trees obtained from 3D-RA data-sets based on minimization of tree edit distance. Our approach is ...
170
click to vote
PADS
2005
ACM
16 years 3 days ago
2005
ACM
Abstract— Traditionally Interest Management (IM) in distributed environments has been performed through a ‘top-down’ expression of interest patterns in the model. For many mo...
199
click to vote
WWW
2005
ACM
16 years 3 days ago
2005
ACM
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...