225 search results - page 5 / 45 » Definition and Analysis of Election Processes |
FTCS
1998
13 years 10 months ago
1998
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
ISESE
2006
IEEE
14 years 2 months ago
2006
IEEE
In software engineering, measurements can be used to monitor, understand and improve software processes as well as products and resource utilization. Commonly, measurement framewo...
DAS
2008
Springer
13 years 10 months ago
2008
Springer
As a result of well-publicized security concerns with direct recording electronic (DRE) voting, there is a growing call for systems that employ some form of paper artifact to prov...
IVCNZ
1998
13 years 10 months ago
1998
Duality is a well-established concept in quantum physics. It formalises the fact that what one observes is not nature in itself, but--in Heisenberg's words--"nature expo...
ICIP
1999
IEEE
14 years 10 months ago
1999
IEEE
Working with contrast instead of luminance can facilitate numerous image processing and analysis tasks. Unfortunately, a common definition of contrast suitable for all situations ...