101 search results - page 11 / 21 » A User Interface for a Game-Based Protocol Verification Tool |
SOFTVIS
2010
ACM
13 years 8 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
The Semantic Web promises to open innumerable opportunities for automation and information retrieval by standardizing the protocols for metadata exchange. However, just as the succ...
ASSETS
2010
ACM
13 years 8 months ago
2010
ACM
We conducted interviews with blind and deaf-blind people to understand how they use the public transit system. In this paper, we discuss key challenges our participants faced and ...
BMCBI
2010
13 years 8 months ago
2010
Background: With the rapidly falling cost and availability of high throughput sequencing and microarray technologies, the bottleneck for effectively using genomic analysis in the ...
CARDIS
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...