8874 search results - page 380 / 1775 » A New Implementation of Automath |
204
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
This paper describes the design and implementation of SecondSite, a cloud-based service for disaster tolerance. SecondSite extends the Remus virtualization-based high availability...
294
click to vote
ICDCSW
2011
IEEE
14 years 6 months ago
2011
IEEE
Datacenter workload modeling has become a necessity in recent years due to the emergence of large-scale applications and cloud data-stores, whose implementation remains largely un...
217
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In service-oriented environments, the fluidity of the marketplace introduces changes in service offerings and subsequent connection failures for users still bound to outdated serv...
228
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
This demo presents MultiNet, a novel method for joining devices to a domestic Wi-Fi network. MultiNet dynamically reconfigures the network to accept each device, rather than con...
206
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—With the proliferation of mobile devices in both smartphone and tablet form factors, it is intuitive and natural for users to socially interact with their collaborators or compe...