835 search results - page 80 / 167 » Characterizing rosy theories |
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
ISAAC
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we give a finer separation of several known paging algorithms. This is accomplished using a new technique that we call relative interval analysis. This technique com...
EDOC
2006
IEEE
15 years 5 months ago
2006
IEEE
In previous work, we have defined conceptual foundations that can be beneficially used in context modeling. These conceptual foundations include the separation of entity and conte...
101
click to vote
VALUETOOLS
2006
ACM
15 years 5 months ago
2006
ACM
We continue the study of zero-automatic queues first introduced in [3]. These queues are characterized by a special buffering mechanism evolving like a random walk on some infi...