Sciweavers

1052 search results - page 111 / 211
» Foundations for Virtual Types
Sort
View

Book
695views
15 years 4 months ago
The Scheme Programming Language
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
R. Kent Dybvig
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
14 years 5 months ago
Interface specification for reconfigurable components
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...
Satnam Singh
IPPS
2002
IEEE
14 years 1 months ago
Automatic Reincarnation of Deceased Plug-Ins in the HARNESS Metacomputing System
HARNESS is an experimental metacomputing system that supports dynamic software reconfiguration, both of the resources that comprise the virtual machine and the services provided t...
Mauro Migliardi, Vaidy S. Sunderam
ASWC
2008
Springer
13 years 11 months ago
Integrating Lightweight Reasoning into Class-Based Query Refinement for Object Search
More and more RDF data have been published online to be consumed. Ordinary Web users also expect to experience more intelligent services promised by the Semantic Web, such as objec...
Gong Cheng, Yuzhong Qu
ACSW
2003
13 years 10 months ago
Location Management in Pervasive Systems
Pervasive systems require context awareness in order to be able to provide “anywhere, anytime” computing to mobile users. One type of context information is location informati...
Jadwiga Indulska, Peter Sutton