1318 search results - page 154 / 264 » The formal semantics of the timeER model |
200
click to vote
RP
2009
Springer
16 years 29 days ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
171
click to vote
SPLC
2004
15 years 7 months ago
2004
Feature modeling is an important approach to capturing commonalities and variabilities in system families and product lines. In this paper, we propose a cardinality-based notation ...
140
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we describe a new approach to data modelling called the concept-oriented model (CoM). This model is based on the formalism of nested ordered sets which uses inclusion...
194
click to vote
FMICS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
197
click to vote
LOPSTR
2007
Springer
16 years 17 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...