2613 search results - page 19 / 523 » Proposal for Tools Supporting Component Based Programming |
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
DAGSTUHL
2003
13 years 8 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
TSE
2010
13 years 5 months ago
2010
—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...
BXML
2004
13 years 8 months ago
2004
: In this paper we present our ongoing work in creating a semantic Web service composition and execution framework. The efforts described are undertaken in the context of the SATIN...
HUC
1999
Springer
13 years 11 months ago
1999
Springer
Photographs have significant social roles. For example, they help families and friends to preserve an affective link and provide a support for communication. The increasing popular...