13052 search results - page 95 / 2611 » The design of natural interaction |
GI
2001
Springer
14 years 1 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
DAC
2006
ACM
14 years 9 months ago
2006
ACM
Recent progress on nanodevices, such as carbon nanotubes and nanowires, points to promising directions for future circuit design. However, nanofabrication techniques are not yet m...
ACMSE
2006
ACM
14 years 2 months ago
2006
ACM
This paper describes the idea of embodied data objects. Using this concept, everyday objects can be used to represent bits and bytes of active information. These data objects can ...
ATAL
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
WETICE
1996
IEEE
14 years 1 months ago
1996
IEEE
The Goal Based Requirements Analysis Tool GBRAT is designed to support goal-based requirements analysis. The tool provides procedural support for the identi cation, elaboration, r...