Sciweavers

149 search results - page 17 / 30
» Supporting Evolution in Component-Based Development Using Co...
Sort
View
HPDC
1993
IEEE
13 years 11 months ago
Supporting Heterogeneity and Distribution in the Numerical Propulsion System
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
Patrick T. Homer, Richard D. Schlichting
ICSE
2007
IEEE-ACM
14 years 7 months ago
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Patrice Chalin
CSE
2009
IEEE
13 years 11 months ago
Hardware Containers for Software Components: A Trusted Platform for COTS-Based Systems
Abstract--Much of modern software development consists of assembling together existing software components and writing the glue code that integrates them into a unified application...
Eugen Leontie, Gedare Bloom, Bhagirath Narahari, R...
DL
1997
Springer
13 years 11 months ago
Shopping Models: A Flexible Architecture for Information Commerce
In a digital library, there are many di erent interaction models between customers and information providers or merchants. Subscriptions, sessions, pay-per-view, shareware, and pr...
Steven P. Ketchpel, Hector Garcia-Molina, Andreas ...
VR
2007
IEEE
122views Virtual Reality» more  VR 2007»
14 years 1 months ago
Flexible Abstraction Layers for VR Application Development
Abstraction Layers for VR Application Development Gerwin de Haan∗ Michal Koutek† Frits H. Post‡ Delft University of Technology, The Netherlands The development of domain-spe...
Gerwin de Haan, Michal Koutek, Frits H. Post