60 search results - page 8 / 12 » Direct Semantics of Extended State Machines |
137
Voted
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
127
Voted
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
The recent Predictive Linear Gaussian model (or PLG) improves upon traditional linear dynamical system models by using a predictive representation of state, which makes consistent...
164
Voted
RE
2010
Springer
14 years 10 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
152
Voted
BIRTHDAY
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
146
Voted
HCI
2009
15 years 1 months ago
2009
The main goal of dialog management is to provide all information needed to perform e. g. a SQL-query, a navigation task, etc. Two principal approaches for dialog management systems...