5623 search results - page 377 / 1125 » Incremental Mechanism Design |
180
Voted
SAC
2006
ACM
16 years 25 days ago
2006
ACM
With the development of Internet-based business, Web applications are becoming increasingly complex. The J2EE specification aims at enabling the design of such web application ser...
186
click to vote
FPGA
2005
ACM
16 years 12 days ago
2005
ACM
Logic duplication is an effective method for improving circuit performance. In this paper we present an algorithm named SPD that performs simultaneous placement and duplication to...
182
click to vote
HVC
2005
Springer
16 years 11 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
133
click to vote
POLICY
2004
Springer
16 years 6 days ago
2004
Springer
The primary original design goal for email was to provide best-effort message delivery. Unfortunately, as the ever increasing uproar over SPAM demonstrates, the existing email inf...
186
Voted
ICDCS
2003
IEEE
16 years 4 days ago
2003
IEEE
Mobile code carried by a mobile agent can automatically travel to several data sources in order to complete a designated program. Traditionally, most mobile agent systems [7][8][1...