154 search results - page 20 / 31 » Web Interfaces for Proof Assistants |
W4A
2006
ACM
14 years 1 months ago
2006
ACM
We argue that while work to optimize the accessibility of the World Wide Web through the publication and dissemination of a range of guidelines is of great importance, there is al...
VRML
2003
ACM
14 years 20 days ago
2003
ACM
Many Web3D sites do not offer sufficient assistance to (especially novice) users in navigating the virtual world, find objects/places of interests, and learn how to interact with ...
WISE
2007
Springer
14 years 1 months ago
2007
Springer
Nowadays information systems are increasingly distributed and deployed within the Internet platform. Without any doubt, the World Wide Web represents the de facto standard platform...
SEMWEB
2005
Springer
14 years 27 days ago
2005
Springer
Situation awareness involves the identification and monitoring of relationships among objects participating in an evolving situation. This problem in general is intractable (i.e.,...
MSWIM
2006
ACM
14 years 1 months ago
2006
ACM
Mobile devices should allow users to exploit services anytime, without any place restriction and in a transparent way. The Bluetooth technology achieves this feature, by providing...