2501 search results - page 409 / 501 » Obligations and Their Interaction with Programs |
138
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
101
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
—A principal challenge in modern computational finance is efficient portfolio design – portfolio optimization followed by decision-making. Optimization based on even the widely...
119
click to vote
HAPTICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Wearable haptics necessitates using low power, small, inexpensive tactors that are typically used as pager motors in cellular phones. One of their limitations is that it appears t...
138
click to vote
HAPTICS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes the last of three experiments that investigate relative motion between a surface and the fingertip (slip) as part of a larger program of research on “finger...
103
click to vote
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...