2059 search results - page 308 / 412 » An adaptive system developer's tool-kit |
138
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
− A novel computer input system - the Micro Input Devices System (MIDS) – is under development by merging MEMS sensors and existing wireless technologies. This system could pot...
192
click to vote
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Abstract. Dependable distributed applications require flexible infrastructure support for controlled redundancy, replication, and recovery of components and services. However, mos...
155
click to vote
CHI
2000
ACM
15 years 10 months ago
2000
ACM
In electronic commerce, a satisfying buyer experience is a key competitive element. We show new techniques for better adapting interaction with an electronic catalog system to act...
185
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
175
click to vote
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
As multimedia applications spread widely, it is crucial for programming and design support systems to handle "time" in multimedia documents effectively and flexibly. This...