Sciweavers

5600 search results - page 408 / 1120
» Synthesizing robust systems
Sort
View
ACSAC
2006
IEEE
16 years 26 days ago
An Internet Voting System Supporting User Privacy
This work introduces the A system1 , an Internetbased, free and open source electronic voting system which employs strong cryptography. Our system is a fully functiona...
Aggelos Kiayias, Michael Korman, David Walluck
183
Voted
ECRTS
2006
IEEE
16 years 26 days ago
A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
Razvan Racu, Arne Hamann, Rolf Ernst
C5
2005
IEEE
16 years 13 days ago
P2P e-Learning System and Its Squeak-Based User Interface
In this paper, we present a novel framework for asynchronous Web-based training. The proposed system has two distinguishing features. Firstly, it is based on P2P architecture for ...
Takao Kawamura, Ryosuke Nakatani, Kazunori Sugahar...
MSS
2005
IEEE
131views Hardware» more  MSS 2005»
16 years 11 days ago
Impact of Failure on Interconnection Networks for Large Storage Systems
Recent advances in large-capacity, low-cost storage devices have led to active research in design of large-scale storage systems built from commodity devices for supercomputing ap...
Qin Xin, Ethan L. Miller, Thomas J. E. Schwarz, Da...
IJCAI
2007
15 years 8 months ago
Multi-Agent System that Attains Longevity via Death
We propose a novel approach to self-regenerating systems which require continuous operation, such as security surveillance. For that aim we introduce HADES, a self-regenerating co...
Megan Olsen, Hava T. Siegelmann