3868 search results - page 602 / 774 » Open Systems in TLA |
174
click to vote
SCAM
2008
IEEE
16 years 26 days ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
177
click to vote
VTC
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract— Balancing energy consumption and prolonging network lifetime are open challenges in Wireless Sensor Networks. In this paper, we design a novel load balanced routing pro...
157
click to vote
DSN
2007
IEEE
16 years 25 days ago
2007
IEEE
Cryptography has become an indispensable mechanism for securing systems, communications and applications. While offering strong protection, cryptography makes the assumption that ...
159
click to vote
ESCIENCE
2007
IEEE
16 years 25 days ago
2007
IEEE
Tracing resource usage by Grid users is of utmost importance — especially in the context of large-scale scientific collaborations such as within the High Energy Physics (HEP) c...
179
click to vote
EUROMICRO
2007
IEEE
16 years 25 days ago
2007
IEEE
Reliable Server Pooling (RSerPool) is a protocol framework for server redundancy and session failover, currently still under standardization by the IETF RSerPool WG. Server redund...