7380 search results - page 504 / 1476 » Engineering Software Intensive Systems |
141
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
132
click to vote
BEHAVIOURIT
2010
15 years 2 months ago
2010
Improvisation is rapidly becoming an important issue for both scholars and practitioners. Organizations that operate in turbulent environments must learn to swiftly adapt and resp...
161
click to vote
ASWEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
148
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Fault diagnosis consists in synthesizing a diagnoser that observes a given plant through a set of observable events, and identifies faults which are not observable as soon as pos...
142
Voted
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
15 years 11 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...