81 search results - page 7 / 17 » Layered Composition for Timed Automata |
SEFM
2006
IEEE
14 years 3 months ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
FORTE
2009
13 years 7 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
ACSD
2006
IEEE
13 years 11 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper presents an exploration algorithm which examines execution time and energy consumption of a given application, while considering a parameterized memory architecture. Th...