2106 search results - page 68 / 422 » Operational Semantics for MSC'96 |
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
ISIPTA
2005
IEEE
15 years 3 months ago
2005
IEEE
A granular based semantics for fuzzy measures is introduced in which the measure of a set of propositions approximates the probability of the disjunction of these propositions. Th...
ICDM
2008
IEEE
15 years 4 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
15 years 4 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
15 years 4 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...