5600 search results - page 951 / 1120 » Synthesizing robust systems |
103
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
Acknowledging an interruption with a nod of the head is a natural and intuitive communication gesture which can be performed without significantly disturbing a primary interface ...
124
click to vote
MOBIWAC
2006
ACM
15 years 6 months ago
2006
ACM
Authors presented recently an indoor location technique based on Time Of Arrival (TOA) obtained from Round-Trip-Time (RTT) measurements at data link level and trilateration. This ...
SIGSOFT
2006
ACM
15 years 6 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
116
Voted
AINA
2005
IEEE
15 years 6 months ago
2005
IEEE
The Location of nodes in sensor network is an important problem with application in resource allocation, location sensitive browsing, and emergency communications. A key problem i...
106
Voted
CCGRID
2005
IEEE
15 years 6 months ago
2005
IEEE
Connected world-widely distributed computers and data systems establish a global source of processing power and data, called a grid. Key properties of a grid are the fact that com...