2114 search results - page 303 / 423 » Practical Approaches for Software Adaptation |
MIDDLEWARE
2007
Springer
14 years 4 months ago
2007
Springer
Reflective middleware provides an effective way to support adaptation in distributed systems. However, as distributed systems become increasingly complex, certain drawbacks of the...
ASSETS
2004
ACM
14 years 3 months ago
2004
ACM
We report here on our progress on a project first described at the ASSETS 2002 conference. At that time, we had developed a prototype system in which a proxy server intermediary w...
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
CBSE
2011
Springer
12 years 10 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
TACAS
2009
Springer
14 years 5 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...