281 search results - page 39 / 57 » An Infrastructure for Intertheory Reasoning |
153
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Monitoring transit traffic at one or more points in a network is of interest to network operators for reasons of traffic accounting, debugging or troubleshooting, forensics, and tr...
181
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
Joins are essential for many data analysis tasks, but are not supported directly by the MapReduce paradigm. While there has been progress on equi-joins, implementation of join alg...
280
click to vote
CASES
2011
ACM
14 years 4 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
129
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
144
click to vote
WETICE
2009
IEEE
15 years 11 months ago
2009
IEEE
— The skyrocketing demand for a new generation of cloud-based consumer and business applications is driving the need for next generation of datacenters that must be massively sca...