887 search results - page 70 / 178 » Representing Systems with Hidden State |
154
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
138
click to vote
SI3D
1995
ACM
15 years 8 months ago
1995
ACM
This paper describes the client-server design, implementation and experimental results for a system that supports real-time visual interaction between a large number of users in a...
160
click to vote
PTS
2008
15 years 5 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
322
click to vote
DNA
2011
Springer
14 years 4 months ago
2011
Springer
We study the potential for molecule recycling in chemical reaction systems and their DNA strand displacement realizations. Recycling happens when a product of one reaction is a rea...
137
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...