1209 search results - page 167 / 242 » On the Resilience of Classes to Change |
155
click to vote
HYBRID
2007
Springer
16 years 16 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
148
click to vote
MODELS
2007
Springer
16 years 15 days ago
2007
Springer
Model-driven engineering is a powerful approach to build large-scale applications. However, an application’s metamodel often remains static after the initial development phase an...
120
click to vote
MODELS
2007
Springer
16 years 15 days ago
2007
Springer
Model-Driven Engineering (MDE) introduced the notion of metamodeling as the main means for defining modeling languages. As a well organized engineering discipline, MDE should also ...
189
click to vote
RTA
2007
Springer
16 years 15 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
151
click to vote
WADS
2007
Springer
16 years 15 days ago
2007
Springer
The dynamic TCP acknowledgement problem formulated by Dooly et al. has been intensively studied in the area of competitive analysis. However, their framework does not consider the ...