Sciweavers

5352 search results - page 204 / 1071
» Modeling the socio-cultural context
Sort
View
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 19 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
IIE
2007
154views more  IIE 2007»
15 years 6 months ago
Computer Aided Modelling Exercises
This paper describes a didactical Computer Aided Software Engineering (CASE)-tool that was developed for use within the context of a course in object-oriented domain modelling. In...
Monique Snoeck, Raf Haesen, Herman Buelens, Manu D...
ICPR
2008
IEEE
16 years 7 months ago
Application of triphone clustering in acoustic modeling for continuous speech recognition in Bengali
The performance of the acoustic models is highly reflective on the overall performance of any continuous speech recognition system. Hence generation of an accurate and robust acou...
Anupam Basu, Gaurav Garg, Pabitra Mitra, Pratyush ...
MODELS
2007
Springer
16 years 23 days ago
Introducing Variability into Aspect-Oriented Modeling Approaches
Aspect-Oriented Modeling (AOM) approaches propose to model reusable aspects, or cross-cutting concerns, that can be composed in different systems at a model or code level. Buildin...
Philippe Lahire, Brice Morin, Gilles Vanwormhoudt,...
KES
2005
Springer
16 years 4 days ago
Parameter Space Exploration of Agent-Based Models
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Indee...
Benoît Calvez, Guillaume Hutzler