1638 search results - page 241 / 328 » A General Semantics for Evaluation Logic |
CCS
2003
ACM
15 years 5 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
108
click to vote
ISORC
2000
IEEE
15 years 4 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
ECAI
1994
Springer
15 years 3 months ago
1994
Springer
This paper describes a computational model of similarity developed to support analogical software reuse. Similarity is computed from conceptual descriptions of software artifacts o...
AAAI
2008
15 years 2 months ago
2008
We are interested in the problem of reasoning over very large common sense knowledge bases. When such a knowledge base contains noisy and subjective data, it is important to have ...
104
click to vote
DOCENG
2005
ACM
15 years 1 months ago
2005
ACM
We show how the full XPath language can be compiled into a minimal subset suited for stream-based evaluation. Specifically, we show how XPath normalization into a core language a...