1833 search results - page 159 / 367 » Mechanized Verification with Sharing |
220
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
—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 ...
180
click to vote
ICNP
1998
IEEE
15 years 10 months ago
1998
IEEE
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...
156
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
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...
148
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
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...
126
click to vote
ESWS
2007
Springer
16 years 19 days ago
2007
Springer
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...