Sciweavers

797 search results - page 33 / 160
» Finding Reusable Software Components in Large Systems
Sort
View
98
Voted
OSS
2009
Springer
15 years 7 months ago
Challenges of the Open Source Component Marketplace in the Industry
Abstract The reuse of Open Source Software components available on the Internet is playing a major role in the development of Component Based Software Systems. Nevertheless, the sp...
Claudia P. Ayala, Øyvind Hauge, Reidar Conr...
SIGSOFT
2005
ACM
16 years 1 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
159
Voted
WOSP
1998
ACM
15 years 4 months ago
Poems: end-to-end performance design of large parallel adaptive computational systems
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo,...
ICSE
2003
IEEE-ACM
16 years 17 days ago
Modular Verification of Software Components in C
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
95
Voted
EMSOFT
2004
Springer
15 years 5 months ago
Reuse of software in distributed embedded automotive systems
Until recently, in the automotive industry, reuse of software has entirely been a typical activity of suppliers. They try to reduce the increasing software development costs that ...
Bernd Hardung, Thorsten Kölzow, Andreas Kr&uu...