231 search results - page 13 / 47 » A Brief Overview of PVS |
120
click to vote
GIAE
2004
Springer
15 years 3 months ago
2004
Springer
This paper first gives a brief overview over some interesting descriptions of conic sections, showing formulations in the three geometric algebras of Euclidean spaces, projective ...
ICESS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Traditional wisdom in programming language design suggests that there is a trade-off between expressive power and static guarantees. We describe a novel schema for desig...
COOPIS
2003
IEEE
15 years 2 months ago
2003
IEEE
The overall purpose of this article is partly to give a brief overview of the TangO conceptual model, partly to explore the Jini technology as a means for support of pervasive syst...
DEBS
2009
ACM
15 years 2 months ago
2009
ACM
This paper presents our experiences with building of the soft state XSiena publish/subscribe system. We provide a brief overview of our approach towards the soft state in publish/...
101
click to vote
STACS
2009
Springer
15 years 2 months ago
2009
Springer
ABSTRACT. This paper gives a brief overview of computation models for data stream processing, and it introduces a new model for multi-pass processing of multiple streams, the so-ca...