8228 search results - page 37 / 1646 » Structural Logical Relations |
164
Voted
CONCUR
2011
Springer
14 years 3 months ago
2011
Springer
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...
115
Voted
EUSFLAT
2009
15 years 1 months ago
2009
155
Voted
IWPSE
2003
IEEE
15 years 8 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
158
Voted
IWFM
1998
15 years 4 months ago
1998
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
142
Voted
INLG
2010
Springer
15 years 1 months ago
2010
Springer
Ontologies and datasets for the Semantic Web are encoded in OWL formalisms that are not easily comprehended by people. To make ontologies accessible to human domain experts, sever...