6016 search results - page 216 / 1204 » The semantics of graphical languages |
237
click to vote
CIIA
2009
15 years 7 months ago
2009
Semantic Web Services (SWSs) aim to improve the possibilities for automated discovery, composition and invocation of Web Services by providing ontology-based service descriptions e...
160
click to vote
JANCL
2000
15 years 6 months ago
2000
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
173
click to vote
LFCS
2007
Springer
16 years 22 days ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
190
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
151
click to vote
VL
2003
IEEE
15 years 12 months ago
2003
IEEE
The recent major revision of the UML (see [4]) has introduced significant changes and additions. In particular, Message Sequence Charts (MSC) according to the ISO standard (see [...