4604 search results - page 548 / 921 » Concurrency in Synchronous Systems |
157
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
190
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
— Many distributed systems may be limited in their performance by the number of transactions they are able to support per unit of time. In order to achieve fault tolerance and to...
168
click to vote
SOFTVIS
2005
ACM
16 years 12 days ago
2005
ACM
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
185
click to vote
ATVA
2005
Springer
16 years 12 days ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
162
click to vote
FROCOS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...