5863 search results - page 750 / 1173 » On Model-Checking of P Systems |
175
click to vote
CCS
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we introduce a framework for secure two-party (S2P) computations, which we call bureaucratic computing, and we demonstrate its efficiency by designing practical S2P...
209
Voted
TMA
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The available bandwidth of a network path impacts the performance of many applications, such as VoIP calls, video streaming and P2P content distribution systems. Several ...
187
click to vote
WISE
2009
Springer
16 years 1 months ago
2009
Springer
Semantic wikis have opened an interesting way to mix Web 2.0 advantages with the Semantic Web approach. However, compared to other collaborative tools, wikis do not support all col...
293
Voted
ISCC
2009
IEEE
16 years 1 months ago
2009
IEEE
Chord is a protocol to distribute and retrieve information at large scale. It builds a large but rigid overlay network without taking into account the social nature and the underl...
175
Voted
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— Security breaches and attacks are critical problems in today’s networking. A key-point is that the security of each host depends not only on the protection strategies it choo...