239 search results - page 19 / 48 » Reusing Model Transformations While Preserving Properties |
67
Voted
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
APN
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
78
Voted
SGP
2007
14 years 12 months ago
2007
While existing methods for 3D surface approximation use local geometric properties, we propose that more intuitive results can be obtained by considering global shape properties s...
71
Voted
WDAG
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The obstruction-free progress condition is weaker than previous nonblocking progress conditions such as lock-freedom and waitfreedom, and admits simpler implementations t...