77 search results - page 13 / 16 » Saturation Effects in Testing of Formal Models |
ICTAI
2009
IEEE
14 years 2 months ago
2009
IEEE
Knowledge constantly grows in scientific discourse and is revised over time by domain experts. The body of knowledge will get structured and refined as the Communities of Practice...
PR
2006
13 years 7 months ago
2006
Though most approaches to protein comparison are based on their structure, several studies produced evidence of a strict correlation between the surface characteristics of protein...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Although usability methods are widely used for evaluating conventional graphical user interfaces and websites, there is a growing concern that current approaches are inadequate fo...
EDBT
2010
ACM
13 years 10 months ago
2010
ACM
This paper develops toolsets for eliminating algorithm-based disclosure from existing privacy-preserving data publishing algorithms. We first show that the space of algorithm-base...
MSO
2003
13 years 8 months ago
2003
The Tracker is one of the CMS (Compact Muon Solenoid experiment) detectors to be installed at the LHC (Large Hadron Collider) accelerator, scheduled to start data taking in 2007. ...