4382 search results - page 380 / 877 » Query by Semantic Example |
234
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
119
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
133
click to vote
ICDM
2008
IEEE
15 years 10 months ago
2008
IEEE
We describe DEIMOS, a system that automatically discovers and models new sources of information. The system exploits four core technologies developed by our group that makes an en...
130
click to vote
ASIAN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
120
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...