264 search results - page 30 / 53 » Logic Synthesis for Engineering Change |
67
Voted
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
104
click to vote
EMSOFT
2008
Springer
14 years 11 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
89
Voted
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
EON
2008
14 years 11 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...