7766 search results - page 1171 / 1554 » Testing Nondeterminate Systems |
118
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
139
click to vote
USS
2010
15 years 2 months ago
2010
Reverse Turing tests, or CAPTCHAs, have become an ubiquitous defense used to protect open Web resources from being exploited at scale. An effective CAPTCHA resists existing mechan...
164
click to vote
ASIAN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
133
click to vote
EMNLP
2009
15 years 2 months ago
2009
Current statistical machine translation (SMT) systems are trained on sentencealigned and word-aligned parallel text collected from various sources. Translation model parameters ar...
135
click to vote
ESWS
2009
Springer
15 years 2 months ago
2009
Springer
In different areas ontologies have been developed and many of these ontologies contain overlapping information. Often we would therefore want to be able to use multiple ontologies....