7124 search results - page 954 / 1425 » Programming Languages and Operating Systems |
166
click to vote
IIWAS
2007
15 years 7 months ago
2007
By using database security metrics to evaluate how risky the current database environment is and visually displaying the metric results on graphs, database security visualization ...
162
click to vote
WADT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
127
click to vote
COLING
2008
15 years 7 months ago
2008
This paper presents a fully operational real-time event extraction system which is capable of accurately and efficiently extracting violent and natural disaster events from vast a...
167
click to vote
ENTCS
2000
15 years 6 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
158
click to vote
ENTCS
2002
15 years 6 months ago
2002
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...