Sciweavers

4454 search results - page 365 / 891
» Designing components for e-services
Sort
View
CORR
2010
Springer
59views Education» more  CORR 2010»
15 years 5 months ago
Refinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmere...
ICCAD
2009
IEEE
119views Hardware» more  ICCAD 2009»
15 years 4 months ago
Iterative layering: Optimizing arithmetic circuits by structuring the information flow
Current logic synthesis techniques are ineffective for arithmetic circuits. They perform poorly for XOR-dominated circuits, and those with a high fan-in dependency between inputs ...
Ajay K. Verma, Philip Brisk, Paolo Ienne
ICDAR
2009
IEEE
15 years 4 months ago
A Distance-Based Technique for Non-Manhattan Layout Analysis
Layout analysis is a fundamental step in automatic document processing. Many different techniques have been proposed in literature to perform this task. These are broadly divided ...
Stefano Ferilli, Marenglen Biba, Floriana Esposito...
ICSE
2009
IEEE-ACM
15 years 4 months ago
A non-intrusive component-based approach for deploying unanticipated self-management behaviour
Supporting self-management behaviour by means of component-based architectural solutions has been the focus of many current research projects. In such a context, handling unantici...
Sandro Santos Andrade, Raimundo José de Ara...
IEEESCC
2009
IEEE
15 years 4 months ago
Reconfigurable SCA Applications with the FraSCAti Platform
The Service Component Architecture (SCA) is a technology agnostic standard for developing and deploying distributed service-oriented applications. However, SCA does not define sta...
Lionel Seinturier, Philippe Merle, Damien Fournier...