32032 search results - page 113 / 6407 » Verified programming in Guru |
284
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
165
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
Motivated by the conflict between authenticity and privacy in the digital signature, the notion of limited verifier signature was introduced [1]. The signature can be verified by a...
147
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms on various computer networks. In our previ...
164
click to vote
SEUS
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...