1301 search results - page 160 / 261 » Specifications via Realizability |
CW
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper aims to study how to gain the consistency of the state in a DVE (Distributed Virtual Environment) with lag, under the condition of peer-to-peer architecture. That is, w...
FPL
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we present a full-system reconfigurable computing simulation platform intended to promote innovative new research in reconfigurable computing. Currently, reconfigur...
FAABS
2000
Springer
14 years 1 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
DL
1995
Springer
14 years 1 months ago
1995
Springer
The research field of digital libraries must be viewed as a union of subfields from a variety of domains combined with new research issues in order to realize its full potential....
WEBDB
2000
Springer
14 years 1 months ago
2000
Springer
The World Wide Web promises to transform human society by making virtually all types of information instantly available everywhere. Two prerequisites for this promise to be realiz...