2205 search results - page 237 / 441 » Mutation Operators for Specifications |
122
Voted
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
140
click to vote
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
127
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
149
Voted
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
198
click to vote
COMAD
2009
15 years 5 months ago
2009
An ontology is an explicit specification of shared conceptualization. The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies, a...