6016 search results - page 359 / 1204 » The semantics of graphical languages |
192
click to vote
LICS
2005
IEEE
16 years 12 days ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
170
click to vote
ICALP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite alphabet. This solves an open question by Gro...
148
click to vote
EXPERT
2008
15 years 6 months ago
2008
nition of a common model that abstracted the shared knowledge (ontology); a formalism for representing such knowledge (Knowledge Interchange Format, or KIF); and a transport-indepe...
188
click to vote
IJMSO
2006
15 years 6 months ago
2006
: Metadata research has emerged as a new discipline in the last years, and is focused on the provision of semantic descriptions of a diverse kind to digital resources, web resource...
155
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents our work on supporting evaluation of integrity constraint issues in semantic web instance data. We propose an alternative semantics for the ontology language, i...