4987 search results - page 549 / 998 » Fuzzifying P Systems |
176
Voted
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Knowledge of the network path properties such as latency, hop count, loss and bandwidth is key to the performance of overlay networks, grids and p2p applications. Network operat...
155
Voted
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
196
Voted
SSS
2007
Springer
16 years 29 days ago
2007
Springer
We present a modular redesign of TrustedPals, a smartcard-based security framework for solving secure multiparty computation (SMC)[?]. TrustedPals allows to reduce SMC to the probl...
145
click to vote
GLOBECOM
2006
IEEE
16 years 27 days ago
2006
IEEE
— Current peer-to-peer (P2P) streaming systems often assume that nodes are cooperative to upload and download data. However, in the open environment of the Internet, this is not ...
149
Voted
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
Current peer-to-peer (P2P) streaming systems often assume that hosts are cooperative. However, this may not be true in the open environment of the Internet. In this paper, we disc...