17409 search results - page 3035 / 3482 » The Design and Performance of MedJava |
192
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
186
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
219
click to vote
ACL
2009
15 years 4 months ago
2009
Dependency parsers show syntactic relations between words using a directed graph, but comparing dependency parsers is difficult because of differences in theoretical models. We de...
209
click to vote
ANCS
2009
ACM
15 years 4 months ago
2009
ACM
Deterministic Finite Automaton (DFA) is well-known for its constant matching speed in worst case, and widely used in multistring matching, which is a critical technique in high pe...
218
click to vote
CONEXT
2009
ACM
15 years 4 months ago
2009
ACM
Today's online social networking (OSN) sites do little to protect the privacy of their users' social networking information. Given the highly sensitive nature of the inf...