235 search results - page 13 / 47 » Software Semantic Provisioning: Actually Reusing Software |
102
click to vote
WCRE
2009
IEEE
15 years 6 months ago
2009
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
100
click to vote
JBCS
2002
14 years 11 months ago
2002
Component Based Development (CBD) aims at constructing software through the integration, using interfaces and contracts, between pre-existing components. The main goal of this wor...
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
COMPSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
Context-sensitive middleware-based software is an emerging kind of ubiquitous computing application. The components of such software communicate proactively among themselves accor...
126
click to vote
FIDJI
2003
Springer
15 years 5 months ago
2003
Springer
The popular slogan ”write once, run anywhere” effectively renders the expressive capabilities of the Java programming framework for developing, deploying, and reusing target-i...