6014 search results - page 1125 / 1203 » Parametric Analysis of Computer Systems |
176
Voted
SOUPS
2010
ACM
15 years 7 months ago
2010
ACM
Graphical password systems based on the recognition of photographs are candidates to alleviate current over-reliance on alphanumeric passwords and PINs. However, despite being bas...
154
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
147
click to vote
RIAO
2007
15 years 5 months ago
2007
In this paper, we have considered a real world information synthesis task, generation of a fixed length multi document summary which satisfies a specific information need. This...
136
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: In recent years, mammalian protein-protein interaction network databases have been developed. The interactions in these databases are either extracted manually from lo...
126
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: The local connectivity and global position of a protein in a protein interaction network are known to correlate with some of its functional properties, including its e...