1451 search results - page 73 / 291 » Case Studies in Model Manipulation for Scientific Computing |
143
click to vote
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
A pressure sensing based single-handed interaction model is presented in this paper. Unlike traditional desktop GUI model, mobile UI model has not been established yet. For exampl...
131
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
This paper addresses the problem of computational error modeling and analysis. Choosing different word-lengths for each functional unit in hardware implementations of numerical al...
116
click to vote
APAL
2010
15 years 4 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
147
click to vote
JCS
2010
14 years 11 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
119
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present the modeling of the high-level design of a next generation network switch from the perspective of a ComputerAided Design (CAD) team within the larger context of a desig...