1364 search results - page 123 / 273 » Comparative Branching-Time Semantics |
107
click to vote
FMCO
2005
Springer
15 years 9 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...
99
Voted
SPIRE
2005
Springer
15 years 9 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 ...
113
click to vote
ECOOP
2003
Springer
15 years 8 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...
114
click to vote
ITS
2010
Springer
15 years 7 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...
142
click to vote
DLOG
2007
15 years 5 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...