950 search results - page 103 / 190 » Process Algebra in PVS |
154
click to vote
IIE
2006
15 years 6 months ago
2006
Abstract. The scope of the paper is animation facilities of computer algebra systems (CAS). Animation offers opportunities for visualization of complex mathematical concepts, provi...
196
click to vote
PPSC
1989
15 years 7 months ago
1989
The LAPACK software project currently under development is intended to provide a portable linear algebra library for high performance computers. LAPACK will make use of the Level 1...
187
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
Time-referenced data are pervasive in most real-world databases. Recent advances in temporal query languages show that such database applications may benefit substantially from bu...
159
click to vote
APN
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
168
click to vote
ICDT
2010
ACM
16 years 3 months ago
2010
ACM
We study fundamental aspects related to the efficient processing of the SPARQL query language for RDF, proposed by the W3C to encode machine-readable information in the Semantic W...