381 search results - page 36 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
108
click to vote
DLOG
2011
14 years 5 months ago
2011
The detection of changes between OWL ontologies is an important service for ontology engineering. There are several approaches to this problem, both syntactic and semantic. A purel...
100
click to vote
TCC
2005
Springer
15 years 7 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
112
click to vote
ENTCS
2000
15 years 1 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
112
click to vote
DLOG
1998
15 years 2 months ago
1998
We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain descri...