Sciweavers

1357 search results - page 38 / 272
» Maintainability through Architecture Development
Sort
View
IWFM
2000
162views Formal Methods» more  IWFM 2000»
13 years 11 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
ASPLOS
2004
ACM
14 years 3 months ago
Heat-and-run: leveraging SMT and CMP to manage power density through the operating system
Power density in high-performance processors continues to increase with technology generations as scaling of current, clock speed, and device density outpaces the downscaling of s...
Mohamed A. Gomaa, Michael D. Powell, T. N. Vijayku...
IASTEDSEA
2004
13 years 11 months ago
Engineering long-lived applications using MDA
Creating long-lived software systems requires a technology to build systems with good maintainability. One of the core ideas of the Model Driven Architecture (MDA) is to ease the ...
Tilman Seifert, Gerd Beneken, Niko Baehr
ICHIM
2001
90views more  ICHIM 2001»
13 years 11 months ago
The Virtual Museum of Architecture
This paper proposes a virtual space project for the web which is capable of 'containing' virtual buildings or representations of real buildings (through computer renderi...
Eleonora Cardellini
JACIC
2007
84views more  JACIC 2007»
13 years 10 months ago
A Modular, Hybrid System Architecture for Autonomous, Urban Driving
Autonomous navigation in urban environments inevitably leads to having to switch between various, sometimes conflicting control tasks. Sting Racing, a collaboration between Georg...
David Wooden, Matthew Powers, Magnus Egerstedt, He...