4520 search results - page 285 / 904 » Algebraic Techniques for Timed Systems |
194
click to vote
SPLC
2010
15 years 5 months ago
2010
The design and operation of long-lived, sustainable systems (LSS) are hampered by limited support for change over time and limited preservation of system knowledge. The solution we...
233
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
159
click to vote
COLCOM
2005
IEEE
16 years 1 months ago
2005
IEEE
We do a case study of two different analysis techniques for studying the stochastic behavior of a randomized system/algorithms: (i) The first approach can be broadly termed as a ...
191
click to vote
EMSOFT
2003
Springer
16 years 18 days ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
202
click to vote
ISSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Embedded processor-based systems allow for the tailoring of the on-chip memory architecture based on application-specific requirements. We present an analytical strategy for explo...