1105 search results - page 125 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
125
click to vote
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
119
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
112
click to vote
IJFCS
2006
15 years 3 months ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
157
Voted
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
146
Voted
SIGPRO
2008
15 years 3 months ago
2008
This paper introduces a novel method for real-time estimation of slowly varying parameters in nonlinear dynamical systems. The core concept is built upon the principles of symboli...