2722 search results - page 305 / 545 » The Model Evolution Calculus |
296
click to vote
AMC
2011
15 years 1 months ago
2011
Convergence results are presented for rank-type difference equations, whose evolution rule is defined at each step as the kth largest of p univariate difference equations. If t...
185
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
170
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
183
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...
161
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...