468 search results - page 18 / 94 » Computationally Feasible Automated Mechanism Design: General... |
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
SBCCI
2004
ACM
14 years 22 days ago
2004
ACM
This paper presents an approach for simulation of mixed analog-digital CMOS integrated circuits, aiming at estimating crosstalk effects due to current pulses drawn from voltage s...
WISEC
2010
ACM
14 years 2 months ago
2010
ACM
We propose a novel trap-based architecture for enterprise networks that detects “silent” attackers who are eavesdropping network traffic. The primary contributions of our work...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
DAC
2007
ACM
13 years 11 months ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...