1690 search results - page 85 / 338 » A Security Framework for JXTA-Overlay |
149
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
152
click to vote
MIDDLEWARE
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Content-based Publish/Subscribe (CPS) is a powerful paradigm providing loosely-coupled, event-driven messaging services. Although the general CPS model is well-known, man...
175
click to vote
UIALL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Recent trends in software development directed toward intelligence, distribution, and mobility need to be followed by an increased sophistication in user interface design...
170
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
The proliferation of smart gadgets, appliances, mobile devices, PDAs and sensors has enabled the construction of ubiquitous computing environments, transforming regular physical s...
151
click to vote
DRM
2008
Springer
15 years 8 months ago
2008
Springer
Content identification has many applications, ranging from preventing illegal sharing of copyrighted content on video sharing websites, to automatic identification and tagging of ...