2599 search results - page 270 / 520 » An Operational Semantics for Knowledge Bases |
183
click to vote
SCP
1998
15 years 6 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
191
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
168
click to vote
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
162
click to vote
ISMB
1993
15 years 8 months ago
1993
There are several dimensions and levels of complexity in which information on protein motifs may be available. For example, onedimensional sequence motifs may be associated with s...
169
click to vote
DKE
2010
15 years 6 months ago
2010
An ontology is a formal conceptualization of a domain, specifying the concepts of the domain and the relations between them. It is however not a straight forward task to use this ...