5130 search results - page 746 / 1026 » Constraint Query Languages |
193
click to vote
OWLED
2008
15 years 8 months ago
2008
The Ontology Web Language (OWL) provides a powerful framework for describing the semantics and constraints of a particular domain described in RDF. Along with that power comes the...
171
click to vote
SE
2007
15 years 8 months ago
2007
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
166
click to vote
EUMAS
2006
15 years 8 months ago
2006
Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, pro...
213
click to vote
OMER
2001
15 years 8 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
196
click to vote
FMOODS
2000
15 years 8 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...