𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Language for Verification and Manipulation of Web Documents: (Extended Abstract)

✍ Scribed by Luigi Liquori; Furio Honsell; Rekha Redamalla

Book ID
108126635
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
260 KB
Volume
157
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Web-Based Secure System for the Distri
A Web-Based Secure System for the Distributed Printing of Documents and Images
✍ Ping Wah Wong; Daniel Tretter; Thomas Kite; Qian Lin; Hugh Nguyen πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 292 KB

We propose and consider a secure printing system for the distributed printing of documents and images over the World Wide Web. The main feature of the system is that it allows previewing and printing of selected documents and images, where only a certain number of hardcopies can be generated based o