3238 search results - page 283 / 648 » On the Computational Interpretation of Negation |
194
click to vote
DBSEC
2008
15 years 7 months ago
2008
To protect critical resources in today’s networked environments, it is desirable to quantify the likelihood of potential multi-step attacks that combine multiple vulnerabilities....
160
click to vote
FUNGAMES
2008
15 years 7 months ago
2008
Recent developments in computer science introduce and discuss new concepts for computation beyond universal Turing machines. Quantum computing relates to new insights in quantum ph...
177
click to vote
INTERACTIONS
1998
15 years 6 months ago
1998
This article summarizes the historical development of major advances in humancomputer interaction technology, emphasizing the pivotal role of university research in the advancemen...
158
click to vote
CVIU
1999
15 years 6 months ago
1999
In this paper we consider the task of matching patterns, as occur in hand-drawn symbols and schematic diagrams, by their parts and relationships. Of particular interest for comput...
198
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...