1508 search results - page 75 / 302 » Toward Software Plug-and-Play |
SAC
2006
ACM
14 years 3 months ago
2006
ACM
ide, applications are programmed in an abstract manner describing essentially the chemical coordination between (not necessarily chemical) software components. On the other side, c...
WOWMOM
2005
ACM
14 years 2 months ago
2005
ACM
This paper presents the design and the implementation of a platform allowing owners of mobile devices to exchange software application programs using a peer-to-peer scheme in hybr...
PADL
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
GI
2004
Springer
14 years 2 months ago
2004
Springer
: We envision future office buildings that partly or fully implement a flexible office organization, i.e. office space is assigned dynamically on request. These organizational ...
SWSTE
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...