215 search results - page 20 / 43 » Church-Rosser Made Easy |
ESCIENCE
2006
IEEE
15 years 5 months ago
2006
IEEE
Many areas of science currently use computing resources as a important part of their research, and many research groups adopt cluster architecture to use them efficiently and mana...
105
click to vote
MSWIM
2006
ACM
15 years 5 months ago
2006
ACM
The simulation of wireless networks has been an important tool for researchers and the industry in the last years. Especially in the field of Mobile Ad Hoc Networking, most curre...
MOBIQUITOUS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes a snapshot-based interface for networked appliances operations that allows users to store and reproduce the conditions of media contents in those appliances b...
SI3D
2005
ACM
15 years 5 months ago
2005
ACM
Techniques for interactive deformation of unstructured polygon meshes are of fundamental importance to a host of applications. Most traditional approaches to this problem have emp...
104
click to vote
CRYPTO
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Non-interactive zero-knowledge (NIZK) proofs have been investigated in two models: the Public Parameter model and the Secret Parameter model. In the former, a public stri...