231 search results - page 22 / 47 » A Brief Overview of PVS |
INFOVIS
2000
IEEE
15 years 2 months ago
2000
IEEE
Lighthouse is an on-line interface for a Web-based information retrieval system. It accepts queries from a user, collects the retrieved documents from the search engine, organizes...
WETICE
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper discusses the practical issues that arise when securing the access to the World Wide Web (WWW). A brief overview of the different protocols that are proposed to secure ...
IFL
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
PDP
1997
IEEE
15 years 1 months ago
1997
IEEE
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...
PADS
1997
ACM
15 years 1 months ago
1997
ACM
Multi-resolution representation of simulated entities is considered essentialfor a growing portion of distributed simulations. Heretofore,modelers have representedentites at just ...