3481 search results - page 208 / 697 » Exploration in Relational Worlds |
ITNG
2010
IEEE
14 years 1 months ago
2010
IEEE
This paper, the first in a series of four, presents the conceptual design of a subsystem with integrative function based on a Service-Oriented Architecture (SOA), named Geographic...
MSE
2000
IEEE
14 years 18 days ago
2000
IEEE
More than a decade after its invention, Mark Weiser’s vision of ubiquitous computing finally seems to spark many research activities world wide. This article reviews the ideas b...
CHARME
1999
Springer
14 years 15 days ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
EUROCRYPT
2006
Springer
13 years 12 months ago
2006
Springer
The holy grail of a mathematical model of secure encryption is to devise a model that is both faithful in its description of the real world, and yet admits a construction for an en...
FLAIRS
2007
13 years 10 months ago
2007
To describe and explain the world, scientists search for equations that quantify relations among relevant variables. We wanted to assist these efforts by a computer program inspir...