2106 search results - page 118 / 422 » Operational Semantics for DyLPs |
157
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
177
click to vote
CDB
2004
Springer
15 years 11 months ago
2004
Springer
Preference queries are relational algebra or SQL queries that contain occurrences of the winnow operator (find the most preferred tuples in a given relation). We present here a nu...
176
click to vote
DASFAA
2008
IEEE
16 years 26 days ago
2008
IEEE
Twig pattern matching (TPM) is the core operation of XML query processing. Existing approaches rely on either efficient data structures or novel labeling/indexing schemes to reduce...
146
click to vote
GC
2004
Springer
15 years 10 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
161
click to vote
USS
2008
15 years 8 months ago
2008
Hypervisors have been proposed as a security tool to defend against malware that subverts the OS kernel. However, hypervisors must deal with the semantic gap between the low-level...