3838 search results - page 688 / 768 » Mobile Applications in X-KLAIM |
TACAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
104
click to vote
WWIC
2004
Springer
15 years 5 months ago
2004
Springer
Packet loss and delay in Internet degrade the quality of requested services like VoIP (Voice over IP) or Video Streaming. In novel network scenarios where wired and wireless connec...
CHI
2010
ACM
15 years 5 months ago
2010
ACM
Designing for a supple interaction, involving users bodily and emotionally into a ‘dance’ with a system is a challenging task. Any break-ups in interaction become fatal to the...
104
click to vote
ANSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Bluetooth is an emerging technology in wireless applications, and many related issues are yet to be explored both in academia and industry. Because of the complexity and the dynam...
110
click to vote
ICAT
2003
IEEE
15 years 5 months ago
2003
IEEE
In the previous paper in ICAT2002, we reported that a non-grounded palm-top torque display "GyroCube" was developed. Although it requires no grounding base for supportin...