8196 search results - page 159 / 1640 » Computational Modeling and Complexity Science |
199
click to vote
FOCS
2008
IEEE
16 years 26 days ago
2008
IEEE
The central problem in computational mechanism design is the tension between incentive compatibility and computational ef ciency. We establish the rst significant approximability ...
177
click to vote
SOFSEM
2007
Springer
16 years 16 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
159
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
The UK e-Science programme is relying on the evolution of the paper lab book into a pervasive data gathering lab system. To date take up of existing commercial or research lab boo...
217
click to vote
PC
2006
15 years 6 months ago
2006
Cellular automata (CA) are discrete dynamic systems that have been used for modeling many physical systems. CA are often used as an alternative to model and solve large-scale syst...
219
click to vote
DLT
2009
15 years 4 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...