32032 search results - page 113 / 6407 » Verified programming in Guru |
211
click to vote
POPL
2008
ACM
16 years 1 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...
109
click to vote
ACNS
2004
Springer
15 years 4 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...
93
Voted
ICPPW
2002
IEEE
15 years 6 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...
64
Voted
VIS
2009
IEEE
16 years 2 months ago
2009
IEEE
103
Voted
SEUS
2005
IEEE
15 years 6 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...