Sciweavers

237 search results - page 14 / 48
» Ensuring Correctness at the Application Level: a Software Fr...
Sort
View
ICCV
2005
IEEE
14 years 8 months ago
Prior-Based Segmentation by Projective Registration and Level Sets
Object detection and segmentation can be facilitated by the availability of a reference object. However, accounting for possible transformations between the different object views...
Tammy Riklin-Raviv, Nahum Kiryati, Nir A. Sochen
COMPSAC
2002
IEEE
13 years 11 months ago
A Distributed Architecture for Cooperative and Adaptative Multimedia Applications
Previously, we developed a method and a distributed platform for the re-engineering of applications by adding cooperation. The goal was to supply a way of communication based on t...
Philippe Roose, Marc Dalmau, Franck Luthon
SCS
2004
13 years 8 months ago
Contract-Based Justification for COTS Component within Safety Critical Applications
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
Fan Ye, Tim Kelly
ISORC
2000
IEEE
13 years 11 months ago
Component Customization for Object-Oriented Distributed Real-Time Software Development
To apply the component-based approach to distributed real-time software development, it is necessary to identify components based on both functional and real-time requirements. Si...
Stephen S. Yau, Fariaz Karim
ECBS
2009
IEEE
130views Hardware» more  ECBS 2009»
14 years 1 months ago
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake