281 search results - page 41 / 57 » A formal framework for compositional compilation |
ICIP
2009
IEEE
14 years 6 months ago
2009
IEEE
This paper presents a study aimed to the realization of a novel
multiresolution registration framework. The transformation
function is computed iteratively as a composition of lo...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
KR
2004
Springer
14 years 1 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...