6794 search results - page 430 / 1359 » Semantics of Visual Languages |
170
click to vote
ICALP
2005
Springer
16 years 11 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...
184
click to vote
SAINT
2005
IEEE
16 years 12 days ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...