759 search results - page 117 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
101
click to vote
BMCBI
2004
15 years 10 days ago
2004
Background: To cancel experimental variations, microarray data must be normalized prior to analysis. Where an appropriate model for statistical data distribution is available, a p...
105
Voted
JAIR
1998
15 years 4 days ago
1998
Scheduling dialogs, during which people negotiate the times of appointments, are common in everyday life. This paper reports the results of an in-depth empirical investigation of ...
120
Voted
CCS
2010
ACM
14 years 10 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...
91
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...
130
click to vote
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...