996 search results - page 155 / 200 » A Compositional Model for Software Reuse |
139
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
111
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
134
click to vote
IPSN
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
128
click to vote
CC
2010
Springer
15 years 10 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
144
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
When making an engineering design decision, it is often necessary to consider its implications on both system performance and dependability. In this paper, we present a performabi...