1587 search results - page 146 / 318 » The Semantics of Extended SOFL |
FMOODS
2008
13 years 10 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
KRMED
2008
13 years 10 months ago
2008
By constructing local extensions to SNOMED we aim to enrich existing medical and related data stores, simplify the expression of complex queries, and establish a foundation for se...
ENTCS
2006
13 years 9 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
EKAW
2010
Springer
13 years 7 months ago
2010
Springer
Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the po...
JUCS
2010
13 years 7 months ago
2010
: It has often been argued that Web services would have a tremendous impact on the Web, as a core enabling technology supporting a highly efficient service-based economy at a globa...