Sciweavers

199 search results - page 1 / 40
» Can Intuition Become Rigorous
Sort
View
ISSRE
2000
IEEE
14 years 28 days ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
WEBI
2009
Springer
14 years 3 months ago
Rigorous Probabilistic Trust-Inference with Applications to Clustering
The World Wide Web has transformed into an environment where users both produce and consume information. In order to judge the validity of information, it is important to know how...
Thomas DuBois, Jennifer Golbeck, Aravind Srinivasa...
CACM
2010
179views more  CACM 2010»
13 years 8 months ago
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
Peter Sewell, Susmit Sarkar, Scott Owens, Francesc...
JOT
2007
88views more  JOT 2007»
13 years 8 months ago
Minimalist and Intuitive User Interface Design Guidelines for Consumer Electronics Devices
People today come in contact with many consumer electronics (CE) devices in their daily lives. CE devices have become increasingly complex with added functionality; devices from d...
Won Kim, Seonghoon Kang
PODS
2009
ACM
134views Database» more  PODS 2009»
14 years 9 months ago
An efficient rigorous approach for identifying statistically significant frequent itemsets
As advances in technology allow for the collection, storage, and analysis of vast amounts of data, the task of screening and assessing the significance of discovered patterns is b...
Adam Kirsch, Michael Mitzenmacher, Andrea Pietraca...