2296 search results - page 51 / 460 » The Expressive Power of Synchronizations |
150
click to vote
SIBGRAPI
1999
IEEE
15 years 8 months ago
1999
IEEE
Visualization systems that support multiple-display viewing can greatly enhance user perception. The common approach to provide multiple synchronized views uses a powerful centrali...
118
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
144
Voted
EWSN
2006
Springer
16 years 3 months ago
2006
Springer
Time synchronization is a crucial component of a large class of sensor network applications, traditionally implemented as a standalone middleware service that provides a virtual gl...
105
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
We study the expressiveness and performance of full-text search languages. Our main motivation is to provide a formal basis for comparing such languages and to develop a model for...
158
click to vote
APAL
2004
15 years 3 months ago
2004
We study the relationship between least and inflationary fixed-point logic. In 1986, Gurevich and Shelah proved that in the restriction to finite structures, the two logics have t...