2206 search results - page 182 / 442 » Software Engineering and Modeling Education: Problems and So... |
165
click to vote
ICFEM
2009
Springer
16 years 1 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...
152
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...
238
click to vote
TCBB
2011
15 years 1 months ago
2011
—Constructing accurate computational models that explain how ions permeate through a biological ion channel is an important problem in biophysics and drug design. Brownian dynami...
132
click to vote
IEEECIT
2006
IEEE
16 years 15 days ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...
174
click to vote
ICRE
1998
IEEE
15 years 10 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...