Sciweavers

1833 search results - page 159 / 367
» Mechanized Verification with Sharing
Sort
View
CSFW
2012
IEEE
13 years 9 months ago
Discovering Concrete Attacks on Website Authorization by Formal Analysis
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffe...
ICNP
1998
IEEE
15 years 10 months ago
Darwin: Customizable Resource Management for Value-Added Network Services
The Internet is rapidly changing from a set of wires and switches that carry packets into a sophisticated infrastructure that delivers a set of complex value-added services to end...
Prashant R. Chandra, Allan Fisher, Corey Kosak, T....
OSDI
2002
ACM
16 years 6 months ago
Memory Resource Management in VMware ESX Server
VMware ESX Server is a thin software layer designed to multiplex hardware resources efficiently among virtual machines running unmodified commodity operating systems. This paper i...
Carl A. Waldspurger
CSE
2009
IEEE
16 years 1 months ago
Has Anyone Seen My Goose? Social Network Services in Developing Regions
Abstract— In developing regions, Internet connectivity is extremely poor, while mobile phone penetration is much higher. The inhabitants of developing conuntries still rely on tr...
Narseo Vallina-Rodriguez, Pan Hui, Jon Crowcroft
ESWS
2007
Springer
16 years 19 days ago
Simple Algorithms for Predicate Suggestions Using Similarity and Co-occurrence
Abstract When creating Semantic Web data, users have to make a critical choice for a vocabulary: only through shared vocabularies can meaning be established. A centralised policy p...
Eyal Oren, Sebastian Gerke, Stefan Decker