Sciweavers

5863 search results - page 404 / 1173
» On Model-Checking of P Systems
Sort
View
JCP
2006
86views more  JCP 2006»
15 years 7 months ago
MapWiki: A Map-based Content Sharing System for Distributed Location-dependent Information
Abstract-- In this paper, we propose a new map-based content sharing system 'MapWiki' for ubiquitous content distribution. In MapWiki, users can publish location-dependen...
Yuuichi Teranishi, Junzo Kamahara, Shinji Shimojo
ACNS
2008
Springer
88views Cryptology» more  ACNS 2008»
16 years 1 months ago
On the Effectiveness of Internal Patching Against File-Sharing Worms
File-sharing worms have been terrorizing Peer-to-peer (P2P) systems in recent years. Existing defenses relying on users’ individual recoveries or limiting users’ file-sharing ...
Liang Xie, Hui Song, Sencun Zhu
MOBILWARE
2009
ACM
16 years 2 months ago
Context Inference for Mobile Applications in the UPCASE Project
André C. Santos, Luís Tarrataca, Jo&...
CDC
2009
IEEE
146views Control Systems» more  CDC 2009»
15 years 5 months ago
Discrete-time, minimum-variance hedging of European contingent claims
Sanjay P. Bhat, Vijay-S. Chellaboina, Anil Bhatia,...
IMC
2009
ACM
16 years 2 months ago
One-click hosting services: a file-sharing hideout
File sharing using peer-to-peer (p2p) systems is a major Internet application and the leading source of network traffic today. However, the dominance of p2p systems for file sha...
Demetres Antoniades, Evangelos P. Markatos, Consta...