4460 search results - page 461 / 892 » Formal methods for interactive systems |
208
click to vote
RECOMB
2007
Springer
16 years 28 days ago
2007
Springer
Publicly-available data sets provide detailed and large-scale information on multiple types of molecular interaction networks in a number of model organisms. These multi-modal univ...
194
click to vote
QI
2009
Springer
16 years 1 months ago
2009
Springer
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
263
click to vote
SEKE
2009
Springer
16 years 1 months ago
2009
Springer
Most existing software optimization research assumes advance knowledge of the component parameters. Perfect future knowledge of fault detection is an unnecessary oversimplificati...
185
click to vote
MSR
2005
ACM
16 years 11 days ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
197
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
With the growing significance of digital libraries and the Internet, more and more electronic texts become accessible to a wide and geographically disperse public. This requires a...