Sciweavers

2314 search results - page 71 / 463
» What's in a model
Sort
View
FMCO
2005
Springer
14 years 1 months ago
A Software Component Model and Its Preliminary Formalisation
A software component model should define what components are, and how they can be composed. That is, it should define a theory of components and their composition. Current softwa...
Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
ICSE
2010
IEEE-ACM
14 years 15 days ago
Using dynamic execution traces and program invariants to enhance behavioral model inference
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garci...
AISB
2008
Springer
13 years 9 months ago
A Modelling Framework for Functional Imagination
Imagination is generally regarded as a very powerful and advanced cognitive ability. In this paper we propose a modelling framework for what we call functional imagination: the ab...
Hugo Gravato Marques, Owen Holland, Richard Newcom...
EMNLP
2007
13 years 9 months ago
Learning Structured Models for Phone Recognition
We present a maximally streamlined approach to learning HMM-based acoustic models for automatic speech recognition. In our approach, an initial monophone HMM is iteratively refin...
Slav Petrov, Adam Pauls, Dan Klein
XPU
2009
Springer
14 years 2 months ago
Is ISO/IEC 15504 Applicable to Agile Methods?
In the last two decades several models for evaluating software process capability have been defined and became more and more popular. The application of such models, and in particu...
Giuseppe Lami, Fabio Falcini