1077 search results - page 57 / 216 » Management of Evolving Specifications using Category Theory |
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
MOBIHOC
2003
ACM
14 years 7 months ago
2003
ACM
The efficiency of a communication network depends not only on its control protocols, but also on its topology. We propose a distributed topology management algorithm that construc...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
Information Visualization (InfoVis) is at least in part defined by a process that occurs within the subjective internal experience of the users of visualization tools. Hence, user...
ACMSE
2007
ACM
13 years 12 months ago
2007
ACM
As a software system evolves to accommodate new features and repair bugs, changes are needed. Software components are interdependent, changes made to one component can require cha...
AOSD
2006
ACM
13 years 11 months ago
2006
ACM
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...