Sciweavers

2392 search results - page 104 / 479
» Performance modeling from software components
Sort
View
MICCAI
2009
Springer
14 years 9 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
14 years 8 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
14 years 10 days 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
14 years 1 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»
13 years 8 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...