686 search results - page 106 / 138 » Securing Mobile Agent Based Tele-Assistance Systems |
101
click to vote
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
120
click to vote
ECBS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
CCS
2009
ACM
15 years 6 months ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
NOMS
2000
IEEE
15 years 4 months ago
2000
IEEE
Management of large-scale Network-Centric Systems (NCS) and their applications is an extremely complex and challenging task due to factors such as centralized management architect...
106
click to vote
ACMICEC
2004
ACM
15 years 5 months ago
2004
ACM
Electronic voting has become one of the most popular activities over the Internet. Security and privacy are always regarded as crucial factors in electronic voting system design. ...