31686 search results - page 289 / 6338 » Resource typing in Guru |
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
96
Voted
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
101
click to vote
VLDB
1991
ACM
15 years 4 months ago
1991
ACM
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
105
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
This paper describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra...
94
Voted
EUROPAR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present parallel algorithms for triangular periodic Sylvester-type matrix equations, conceptually being the third step of a periodic Bartels