28962 search results - page 388 / 5793 » Computational Mechanism Design |
180
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Decision making is tightly related to the understanding of the design and manufacturing practices. In our previous work, we proposed an intuitive approach for geometric modeling in...
167
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
160
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
162
click to vote
GPCE
2005
Springer
16 years 9 days ago
2005
Springer
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homoge...
208
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—We propose a simple and robust mechanism for detecting SYN flooding attacks. Instead of monitoring the ongoing traffic at the front end (like firewall or proxy) or a ...