2282 search results - page 333 / 457 » Active property checking |
ACSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
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...
BROADNETS
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper studies load balancing for multipath Internet routing. We focus on hash-based load balancing algorithms that work on the flow level to avoid packet reordering which...
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— For a two user fading Gaussian multiple access channel with user cooperation, we show that window decoding achieves the same sum rate as backwards decoding, when the encoding i...
ICSM
2005
IEEE
14 years 3 months ago
2005
IEEE
Software merging is a common and essential activity during the lifespan of large-scale software systems. Traditional textual merge techniques are inadequate for detecting syntacti...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We analyze the notion of organizational structure in multiagent systems and explain the precise added value and the effects of such organizational structure on the involved agents...