982 search results - page 28 / 197 » Model Based Multi-Level Prototyping |
137
click to vote
MCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents a probabilistic model for combining cluster ensembles utilizing information theoretic measures. Starting from a co-association matrix which summarizes...
107
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
110
click to vote
ICSP
1993
15 years 3 months ago
1993
Much contemporary development process research is based on analyses of process steps, their duration, and the events they propagate. Our initial research in large, mature telecomm...
153
Voted
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
119
Voted
DSVIS
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents an approach for representing, and providing computer support for, the configuration of interactive systems, particularly ubiquitous systems, that offers a flexi...