5377 search results - page 159 / 1076 » Programming Languages For Interactive Computing |
124
Voted
HAPTICS
2006
IEEE
15 years 7 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...
209
Voted
POPL
2001
ACM
16 years 1 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...
105
Voted
APLAS
2010
ACM
15 years 1 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...
99
Voted
DEXAW
2003
IEEE
15 years 6 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...
112
Voted
ICALP
2010
Springer
14 years 11 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...