759 search results - page 68 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
116
Voted
HT
2010
ACM
15 years 5 months ago
2010
ACM
Missing web pages, URIs that return the 404 “Page Not Found” error or the HTTP response code 200 but dereference unexpected content, are ubiquitous in today’s browsing exper...
ICSE
2004
IEEE-ACM
16 years 22 days ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
126
Voted
BMCBI
2011
14 years 4 months ago
2011
Background: A central question in cancer biology is what changes cause a healthy cell to form a tumor. Gene expression data could provide insight into this question, but it is dif...
130
Voted
DSN
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
135
click to vote
CISS
2011
IEEE
14 years 4 months ago
2011
IEEE
—We analyze the fundamental limits of key generation and describe an implementation based on error correcting codes. We show that key extraction based on channel coefficients si...