940 search results - page 98 / 188 » Local rely-guarantee reasoning |
93
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— This paper presents a standing balance controller. We employ a library of optimal trajectories and the neighboring optimal control method to generate local approximations to th...
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
90
Voted
PIMRC
2008
IEEE
15 years 7 months ago
2008
IEEE
ACT In this work we present a demonstrator for coherent linear amplify-and-forward (AF) relaying. Two source/destination pairs communicate with the help of three half-duplex relays...
131
click to vote
SEFM
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
103
Voted
WECWIS
2008
IEEE
15 years 7 months ago
2008
IEEE
Reverse pricing as a special form of dynamic pricing has become a growing interest in e-commerce. It gives buyers an active role: The price of a transaction is not given by the su...