996 search results - page 139 / 200 » A Compositional Model for Software Reuse |
143
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
149
click to vote
HYBRID
1997
Springer
15 years 8 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
136
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
This paper studies ways for modularizing transformation definitions in current rule-based model transformation languages. Two scenarios are shown in which the modular units are id...
150
click to vote
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
132
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...