4693 search results - page 436 / 939 » Verifying Hybrid Systems |
189
click to vote
DALT
2004
Springer
16 years 8 days ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
167
click to vote
ICTAC
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
202
click to vote
IWQOS
2004
Springer
16 years 7 days ago
2004
Springer
— We propose a rank-based peer-selection mechanism for peer-to-peer media streaming systems. The mechanism provides incentives for cooperation through service differentiation. Co...
150
click to vote
TACAS
2004
Springer
16 years 7 days ago
2004
Springer
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...
113
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract: This paper considers the task of trajectory stabilization for a fish-like robot by means of feedback. We use oscillatory control inputs and apply correction signals at t...