Sciweavers

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

Book
695views
16 years 10 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
113
Voted
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
15 years 11 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
104
Voted
IPPS
2002
IEEE
15 years 7 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
117
Voted
ASWC
2008
Springer
15 years 4 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
168
Voted
ACSW
2003
15 years 4 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