1195 search results - page 160 / 239 » Modeling an Algebraic Stepper |
157
click to vote
TASE
2008
IEEE
16 years 15 days ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
198
click to vote
LSSC
2007
Springer
16 years 8 days ago
2007
Springer
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
176
click to vote
SEW
2006
IEEE
16 years 4 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
140
Voted
SAC
2006
ACM
16 years 2 days ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
171
click to vote
EDBT
2006
ACM
15 years 9 months ago
2006
ACM
As data management applications grow more complex, they may need efficient distributed query processing, but also subscription management, data archival etc. To enact such applicat...