5634 search results - page 243 / 1127 » About Abstract Classes |
ESWS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
CLUSTER
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a concurrent object model based on distributed recursive sets for data intensive applications that use complex, recursive data layouts. The set abstraction is ...
MKWI
2008
15 years 1 months ago
2008
: Multi-Agent systems follow a highly abstract programming paradigm. of this abstraction level, behaviours of the participants are not always clearly reproducible for humans. In th...
ICAD
2004
15 years 1 months ago
2004
Comparing designs of sonifications is difficult enough but comparing a visual display with a sound display is much harder. Yet the designer of multi-sensory displays would like to...
ISSE
2010
14 years 10 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...