1364 search results - page 123 / 273 » Comparative Branching-Time Semantics |
139
click to vote
FMCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
124
click to vote
SPIRE
2005
Springer
15 years 11 months ago
2005
Springer
This paper introduces a measure of corpus homogeneity that indicates the amount of topical dispersion in a corpus. The measure is based on the density of neighborhoods in semantic ...
140
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
Modeling four aspect-oriented programming mechanisms shows the way in which each supports modular crosscutting. Comparing the models produces a clear three part characterization of...
156
click to vote
ITS
2010
Springer
15 years 10 months ago
2010
Springer
This study attempted to determine if it is possible to create an automatic affect detector using a combination of semantic and keystroke data. While the resulting models attained d...
178
click to vote
DLOG
2007
15 years 8 months ago
2007
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...