2136 search results - page 113 / 428 » A Game-Theoretic Operational Semantics |
ICDE
1993
IEEE
14 years 1 months ago
1993
IEEE
An iterator is proposed that allows to apply sequences of update operations in a set-oriented way with deterministic semantics. Because the mechanism is independent of a particula...
LANMR
2004
13 years 10 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
ICDM
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a demo of ESTER, a search engine that combines the ease of use, speed and scalability of full-text search with the powerful semantic capabilities of ontologies. ESTER s...
HVC
2007
Springer
14 years 3 months ago
2007
Springer
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
ICSOC
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we present the architecture and design of an extended BPEL engine that implements the operational semantics of BPEL4SWS. BPEL4SWS is an extension of the BPEL language...