828 search results - page 121 / 166 » On the Design and Implementation of Interactive XML Applicat... |
ATAL
2007
Springer
15 years 1 months ago
2007
Springer
As more and more cars are equipped with GPS and Wi-Fi transmitters, it becomes easier to design systems that will allow cars to interact autonomously with each other, e.g., regard...
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
This paper describes "Second Life" as a novel type of testbed and simulation environment for sensor-based applications. Second Life is a popular virtual online world tha...
PERCOM
2009
ACM
15 years 4 months ago
2009
ACM
—One part of the vision of ubiquitous computing is the integration of sensing and actuation nodes into everyday objects, clothes worn on the body, and in large numbers into the e...
UIST
1997
ACM
15 years 2 months ago
1997
ACM
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...
TPHOL
1996
IEEE
15 years 2 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...