9110 search results - page 443 / 1822 » Formally-Based Design Evaluation |
191
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Garbled circuits play a key role in secure computation. Unlike previous work, which focused mainly on efficiency and automation aspects of secure computation, in this paper we foc...
176
click to vote
ASPDAC
2012
ACM
14 years 2 months ago
2012
ACM
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
208
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
The paradigm of information-centric networking subsumes recent approaches to integrate content replication services into a future Internet layer. Current concepts foster either a ...
201
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—This paper focuses on designing a distributed medium access control algorithm that aims at achieving time fairness among contending stations and throughput maximization ...
165
click to vote
CANDC
2007
ACM
15 years 10 months ago
2007
ACM
Within the creativity community, researchers and practitioners have developed and studied various support tools and environments. It is important to learn from these tools and env...