1833 search results - page 300 / 367 » Mechanized Verification with Sharing |
129
click to vote
ESWS
2010
Springer
15 years 5 months ago
2010
Springer
Many systems exist for community formation in extensions of traditional Web environments but little work has been done for forming and maintaining communities in the more dynamic e...
141
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary diff...
134
click to vote
COMCOM
2008
15 years 4 months ago
2008
Despite the advantages offered by pure Peer-to-Peer (P2P) networks (e.g. robustness and fault tolerance), a crucial requirement is to guarantee basic security properties, such as ...
129
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We describe SAFIUS, a secure accountable file system that resides over an untrusted storage. SAFIUS provides strong security guarantees like confidentiality, integrity, prevention ...
138
click to vote
IJAMC
2008
15 years 4 months ago
2008
: Recent research on Peer-to-Peer Massively Multiplayer Online Games (P2P MMOGs) has tried to find more scalable and affordable solutions to build virtual environments via the reso...