We describe the design and implementation of secure and robust protocol and system for a national electronic lottery. Electronic lotteries at a national level are a viable cost eļ¬...
Elisavet Konstantinou, Vasiliki Liagkou, Paul G. S...
A logic is deļ¬ned which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ā...
As the frequency of attacks faced by the average host connected to the Internet increases, reliance on manual intervention for response is decreasingly tenable. Operating system an...
For mobile embedded systems, the energy consumption is a limiting factor because of todayās battery capacities. Besides the processor, memory accesses consume a high amount of en...
Debugging the performance of parallel and distributed systems remains a difļ¬cult task despite the widespread use of middleware packages for automatic distribution, communication...