279 search results - page 36 / 56 » Providing Support for Model Composition in Metamodels |
103
click to vote
GI
2009
Springer
15 years 6 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
102
click to vote
MASCOTS
2003
15 years 3 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
101
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
The GENIE project has built a Grid enabled framework that facilitates the integration, execution and management of component models for the study of the Earth system over millennia...
108
click to vote
IEEESCC
2008
IEEE
15 years 8 months ago
2008
IEEE
—This paper presents a novel approach to model a complex evolving system, a Digital Business Ecosystem (DBE) that takes the specific needs of Small and Medium-sized Enterprises ...
141
click to vote
FAC
2008
15 years 1 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...