5377 search results - page 159 / 1076 » Programming Languages For Interactive Computing |
HAPTICS
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper describes the development of haptic paddle laboratory kits and associated National Instruments LabVIEW virtual instrumentation to support the adaptation of laboratory e...
POPL
2001
ACM
14 years 10 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
APLAS
2010
ACM
13 years 10 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
DEXAW
2003
IEEE
14 years 3 months ago
2003
IEEE
As users, computers, data and processes become increasingly mobile and the diversity of interacting devices increases, pervasive computing tasks are difficult to predict and to u...
ICALP
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...