2530 search results - page 327 / 506 » Dynamic topological logic |
153
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
134
click to vote
COLT
1999
Springer
15 years 8 months ago
1999
Springer
This paper proposes the use of constructive ordinals as mistake bounds in the on-line learning model. This approach elegantly generalizes the applicability of the on-line mistake ...
134
Voted
FM
1999
Springer
15 years 8 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
152
click to vote
ICNP
1998
IEEE
15 years 8 months ago
1998
IEEE
Wireless links can exhibit high error rates due to attenuation, fading, or interfering active radiation sources. To make matters worse, error rates can be highly variable due to c...
154
click to vote
HPCN
1998
Springer
15 years 8 months ago
1998
Springer
Unstructured grids can represent the complex geometry of the ocean basin with high delity. The lack of development tools supporting irregular grid problems discourages the use of ...