630 search results - page 89 / 126 » Combining Two Formalism for Reasoning about Concepts |
TLDI
2003
ACM
14 years 2 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
SUM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
CCS
2006
ACM
14 years 18 days ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
SETN
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. In this paper we are dealing with the task of adding domainspecific semantic tags to a document, based solely on the domain ontology and generic lexical and Web resource...