1027 search results - page 55 / 206 » Representing and Reasoning with Operational Semantics |
106
click to vote
TPHOL
2002
IEEE
15 years 5 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
120
Voted
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
149
Voted
HOST
2011
IEEE
14 years 8 days ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
93
Voted
DLOG
2003
15 years 2 months ago
2003
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...
113
Voted
JUCS
2006
15 years 17 days ago
2006
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...