1709 search results - page 268 / 342 » Precise Modeling of Design Patterns |
114
click to vote
ACNS
2004
Springer
15 years 5 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...
108
click to vote
CASES
2001
ACM
15 years 5 months ago
2001
ACM
It is widely acknowledged that even as VLSI technology advances, there is a looming crisis that is an important obstacle to the widespread deployment of mobile embedded devices, n...
105
click to vote
PARLE
1991
15 years 5 months ago
1991
We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two p...
115
click to vote
ADAEUROPE
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
115
click to vote
HPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
The recent emergence of clouds is making the vision of utility computing realizable, i.e. computing resources and services can be delivered, utilized, and paid for as utilities su...