2274 search results - page 152 / 455 » Qualitative Modeling for Requirements Engineering |
151
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a new method for data clustering based on a particular Gaussian mixture model (GMM). Each cluster of data, modeled as a GMM into an input space, is interpreted as a hy...
160
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
155
click to vote
ICSEA
2008
IEEE
16 years 22 days ago
2008
IEEE
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
141
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
205
click to vote
SERA
2010
Springer
15 years 4 months ago
2010
Springer
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...