1350 search results - page 109 / 270 » Reasoning about Staged Computation |
146
Voted
TABLETOP
2006
IEEE
15 years 11 months ago
2006
IEEE
Tabletop systems provide a platform for developing novel interaction systems, including tangible user interfaces (TUIs). This paper presents a study of the effects of a tabletop s...
154
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
150
click to vote
COORDINATION
2004
Springer
15 years 11 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
121
click to vote
BIRTHDAY
2006
Springer
15 years 9 months ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
152
click to vote
AAAI
1998
15 years 6 months ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...