1818 search results - page 259 / 364 » Granularity-Adaptive Proof Presentation |
153
click to vote
SSS
2007
Springer
16 years 14 days ago
2007
Springer
In [Dij74] Dijkstra introduced the notion of self-stabilizing algorithms, and presented three such algorithms for the problem of mutual exclusion on a ring of processors. The thir...
146
click to vote
ROBIO
2006
IEEE
16 years 11 days ago
2006
IEEE
Abstract— We present a strategy for resolving multiple hypotheses of a robot’s state during global localization. The strategy operates in two stages. In the first stage a uniq...
162
click to vote
ACSD
2005
IEEE
15 years 12 months ago
2005
IEEE
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
172
click to vote
ICWE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The World Wide Web is evolving from a platform for information access into a platform for interactive services. The interaction of the services is provided by forms. Some...
158
click to vote
IFM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...