4809 search results - page 340 / 962 » Scalable Analysis of Scalable Systems |
210
Voted
SEBD
2004
15 years 8 months ago
2004
MILOS is a multimedia content management system specialised to support multimedia digital library applications. MILOS provides applications with functionalities for the storage of...
191
Voted
ICDCS
2009
IEEE
16 years 4 months ago
2009
IEEE
This paper formalizes transactional properties for publish/subscribe client mobility and develops protocols to realize them. Evaluations show that compared to traditional protocol...
191
click to vote
COMPCON
1995
IEEE
15 years 11 months ago
1995
IEEE
Netbill is a business model, set of protocols, and software implementation for commerce in information goods and other network delivered services. It has very low transaction cost...
191
Voted
EUROPAR
2008
Springer
15 years 9 months ago
2008
Springer
We investigate a decentralised approach to committing transactions in a replicated database, under partial replication. Previous protocols either reexecute transactions entirely an...
179
Voted
PLDI
2012
ACM
13 years 10 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...