7557 search results - page 1306 / 1512 » Modeling Timed Concurrent Systems |
179
click to vote
TLCA
2005
Springer
16 years 14 days ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
172
click to vote
WEBI
2005
Springer
16 years 14 days ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
217
click to vote
LATIN
2004
Springer
16 years 10 days ago
2004
Springer
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
165
click to vote
HICSS
2003
IEEE
16 years 8 days ago
2003
IEEE
This paper discusses several distributed poweraware routing protocols in wireless ad-hoc networks (especially sensor networks). We seek to optimize the lifetime of the network. We...
183
click to vote
INFOCOM
2003
IEEE
16 years 8 days ago
2003
IEEE
— Channel-aware scheduling strategies, such as the Proportional Fair algorithm for the CDMA 1xEV-DO system, provide an effective mechanism for improving throughput performance in...