1256 search results - page 199 / 252 » A Simple E-Voting Protocol |
85
Voted
ICDCS
1999
IEEE
15 years 5 months ago
1999
IEEE
This work studies the interaction of Web proxy cache coherency and replacement policies using trace-driven simulations. We specifically examine the relative importance of each typ...
CONCUR
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...
FM
1999
Springer
15 years 5 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
104
Voted
CODES
1998
IEEE
15 years 5 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
162
click to vote
HPDC
1998
IEEE
15 years 5 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...