288 search results - page 37 / 58 » Model Checking the World Wide Web |
EFDBS
2000
13 years 10 months ago
2000
The generation of hypermedia (or Web-based) presentations plays an important role in information management on the World Wide Web. In applications for Web modeling and querying, in...
VRML
1998
ACM
14 years 26 days ago
1998
ACM
The Virtual Reality Modeling Language (VRML) and the World Wide Web (WWW) offer new opportunities to communicate an architect’s design intent throughout the design process. We h...
SIGMOD
1998
ACM
14 years 26 days ago
1998
ACM
Most databases contain “name constants” like course numbers, personal names, and place names that correspond to entities in the real world. Previous work in integration of het...
SIGDOC
2004
ACM
14 years 2 months ago
2004
ACM
This paper addresses how intellectual property affects the Web in general, and content publishing on the Web in particular. Before its commercialization, the Web was perceived as ...
APCHI
1998
IEEE
14 years 27 days ago
1998
IEEE
This paper describes a method for manipulating a threedimensional object without considering conventional three independent orthogonal views. We apply the direct manipulation to o...