81 search results - page 10 / 17 » Layered Composition for Timed Automata |
ICIW
2009
IEEE
14 years 4 months ago
2009
IEEE
So far, little research has addressed reuse and contextawareness with respect to rich web-based user interfaces. Uniform models for encapsulation and reuse have been developed for...
HYBRID
1995
Springer
14 years 1 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
TSE
2010
13 years 8 months ago
2010
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
FUIN
2006
13 years 9 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
AISS
2010
13 years 7 months ago
2010
The boom of Service oriented architecture is on substantial rise. SOA developers orchestrate individual SOA objects into web services. It has been a dream of software engineers to...