77016 search results - page 264 / 15404 » Modeling Modeling |
207
click to vote
PAAMS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract Many Multi-Agent Systems (MAS) methodologies incorporate a modeldriven approach. Model Driven Engineering is based on three main ideas: models are the “first-class citi...
181
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Safety culture is broadly recognized as important for Air Traffic Management and various studies have addressed its characterization and assessment. Nevertheless, relations betwee...
135
click to vote
JSYML
2007
15 years 6 months ago
2007
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
165
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
142
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Spectral voice conversion is usually performed using a single model selected in order to represent a tradeoff between goodness of fit and complexity. Recently, we proposed a new ...