WWW
2001
ACM
15 years 9 days ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
WWW
2001
ACM
15 years 9 days ago
2001
ACM
The virtual laboratories enhance learning experiences by providing the student with a supplement to the physical lab. The laboratories allow students to perform exercises as in an...
WWW
2001
ACM
15 years 9 days ago
2001
ACM
Representation of negotiations in electronic markets and their support are important issues in today's e-commerce research. Whereas most activities are focused on automation ...
WWW
2001
ACM
15 years 9 days ago
2001
ACM
Many websites have a hierarchical organization of content. This organization may be quite different from the organization expected by visitors to the website. In particular, it is...
WWW
2001
ACM
15 years 9 days ago
2001
ACM
WWW
2001
ACM
15 years 9 days ago
2001
ACM
Active learning is an e ective learning approach. In this paper, we present an intelligent agent assisted environment for active learning. The system is to better support studentc...
WWW
2001
ACM
15 years 9 days ago
2001
ACM
The World-Wide Web constitutes an activity space in which people set up and host places that are visited by others. To render web places such as homes, sites, and portals attracti...
WWW
2001
ACM
15 years 9 days ago
2001
ACM
WWW
2001
ACM
15 years 9 days ago
2001
ACM
This paper presents a guided tour system for the WWW. It is a module for the Webvise open hypermedia system that implements the ideas of trails and guided tours, originating from ...
WWW
2001
ACM
15 years 9 days ago
2001
ACM
XQForms is the first generator of Web-based query forms and reports for XML data. XQForms takes as input (i) XML Schemas that model the data to be queried and presented, (ii) decl...