946 search results - page 104 / 190 » Process Algebra and Non-Interference |
142
click to vote
PPSC
1989
15 years 3 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...
136
Voted
SIGMOD
2001
ACM
16 years 2 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...
117
Voted
APN
1994
Springer
15 years 6 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...
117
Voted
ICDT
2010
ACM
15 years 12 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...
118
Voted
CW
2002
IEEE
15 years 7 months ago
2002
IEEE
In Reverse Engineering a physical object is digitally reconstructed from a set of boundary points. In the segmentation phase these points are grouped into subsets to facilitate co...