2364 search results - page 421 / 473 » An Engine for Computing Well-Founded Models |
107
click to vote
TOPLAS
2010
15 years 2 months ago
2010
Fractional permissions use fractions to distinguish write access (1) from read access (any smaller fraction). Nesting (an extension of adoption) can be used to model object invari...
153
click to vote
EUROMED
2010
15 years 1 months ago
2010
Abstract. The communication of cultural heritage in public spaces such as museums or exhibitions, gain more and more importance during the last years. The possibilities of interact...
162
click to vote
TMC
2011
14 years 10 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...
143
click to vote
EJC
2010
14 years 10 months ago
2010
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
154
Voted
SCIENTOMETRICS
2010
14 years 10 months ago
2010
The Ranking web of World Repositories (http://repositories.webometrics.info) is introduced. The objective is to promote Open Access Initiatives supporting the use of repositories ...