828 search results - page 19 / 166 » Modularity for Timed and Hybrid Systems |
108
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we show how file sharing peer to peer systems can be modeled by hybrid systems with a continuous part corresponding to a fluid limit of files and a discrete part c...
143
click to vote
TIME
2003
IEEE
15 years 7 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
ECRTS
2002
IEEE
15 years 6 months ago
2002
IEEE
108
click to vote
FPL
2007
Springer
15 years 3 months ago
2007
Springer
Reconfiguration time in dynamically-reconfigurable modular systems can severely limit application run-time compared to the critical path delay. In this paper we present a novel ...
110
click to vote
ENTCS
2006
15 years 1 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...