Sciweavers

26354 search results - page 304 / 5271
» How we refactor, and how we know it
Sort
View
TOG
2008
141views more  TOG 2008»
15 years 6 months ago
Simulating knitted cloth at the yarn level
Knitted fabric is widely used in clothing because of its unique and stretchy behavior, which is fundamentally different from the behavior of woven cloth. The properties of knits c...
Jonathan M. Kaldor, Doug L. James, Steve Marschner
SIGMOD
2011
ACM
202views Database» more  SIGMOD 2011»
14 years 9 months ago
Sensitivity analysis and explanations for robust query evaluation in probabilistic databases
Probabilistic database systems have successfully established themselves as a tool for managing uncertain data. However, much of the research in this area has focused on efficient...
Bhargav Kanagal, Jian Li, Amol Deshpande
179
Voted
TFM
2009
Springer
119views Formal Methods» more  TFM 2009»
16 years 1 months ago
Teaching Formal Methods for the Unconquered Territory
Abstract. We summarise our experiences in teaching two formal methods courses at Pontificia Universidad Javeriana. The first course is a JML-based software engineering course. Th...
Néstor Cataño, Camilo Rueda
DFT
2008
IEEE
89views VLSI» more  DFT 2008»
16 years 1 months ago
Fabrication Variations and Defect Tolerance for Nanomagnet-Based QCA
Tolerating defects and fabrication variations will be critical in any system made with devices that have nanometer feature sizes. This paper considers how fabrication variations a...
Michael T. Niemier, Michael Crocker, Xiaobo Sharon...
ICDE
2007
IEEE
130views Database» more  ICDE 2007»
16 years 1 months ago
Privacy Support and Evaluation on an Ontological Basis
This work is concerned with user perceived privacy and how clients (which we call data subjects here) can be empowered to control their own data consistently with their own intere...
Michael Hecker, Tharam S. Dillon