Sciweavers

6724 search results - page 18 / 1345
» Models. Models. Models. So What
Sort
View
WSDM
2009
ACM
92views Data Mining» more  WSDM 2009»
14 years 3 months ago
Remembering what we like: Toward an agent-based model of Web traffic
Bruno Gonçalves, Mark Meiss, Jose J. Ramasc...
DATE
2006
IEEE
83views Hardware» more  DATE 2006»
14 years 2 months ago
What lies between design intent coverage and model checking?
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. ...