Sciweavers

6978 search results - page 375 / 1396
» On Proofs in System P
Sort
View
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
159
Voted
MOBILWARE
2009
ACM
16 years 1 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 4 months ago
Discrete-time, minimum-variance hedging of European contingent claims
Sanjay P. Bhat, Vijay-S. Chellaboina, Anil Bhatia,...
IMC
2009
ACM
16 years 1 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...
BIRTHDAY
2003
Springer
15 years 10 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman