7820 search results - page 207 / 1564 » Formalization of Time and Space |
178
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the...
219
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...
145
click to vote
ENTCS
2008
15 years 7 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
196
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if th...
200
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...