231 search results - page 22 / 47 » A Brief Overview of PVS |
INFOVIS
2000
IEEE
13 years 12 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
13 years 11 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
13 years 11 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
13 years 11 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
13 years 11 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 ...