Sciweavers

2392 search results - page 104 / 479
» Performance modeling from software components
Sort
View
MICCAI
2009
Springer
16 years 7 months ago
Building Shape Models from Lousy Data
Statistical shape models have gained widespread use in medical image analysis. In order for such models to be statistically meaningful, a large number of data sets have to be inclu...
Marcel Lüthi, Thomas Albrecht, Thomas Vetter
ICSE
2003
IEEE-ACM
16 years 6 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
RE
1999
Springer
15 years 10 months ago
Formal Modeling of Space Shuttle Software Change Requests using SCR
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Virginie Wiels, Steve M. Easterbrook
DRM
2003
Springer
15 years 11 months ago
Experiences with the enforcement of access rights extracted from ODRL-based digital contracts
In this paper, we present our experiences concerning the enforcement of access rights extracted from ODRL-based digital contracts. We introduce the generalized Contract Schema (Co...
Susanne Guth, Gustaf Neumann, Mark Strembeck
INTERFACES
2007
72views more  INTERFACES 2007»
15 years 6 months ago
Indian Auto-Component Supply Chain at the Crossroads
We trace the evolution of the auto component supply chain in India (following the opening of the Indian economy in 1990) using a combination of data on firm and sectoral performan...
Karthik Balakrishnan, Sridhar Seshadri, Anshul She...