671 search results - page 4 / 135 » Semantics Preserving Model Composition |
FM
2003
Springer
14 years 19 days ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
DAGSTUHL
2006
13 years 8 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
COLING
2010
13 years 2 months ago
2010
In distributional semantics studies, there is a growing attention in compositionally determining the distributional meaning of word sequences. Yet, compositional distributional mo...