809 search results - page 128 / 162 » Formal Semantics for the Java Modeling Language |
123
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
108
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
121
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
115
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
126
click to vote
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...