426 search results - page 12 / 86 » Towards Verifying Model Transformations |
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
Speaker identification might be a suitable answer to prevent unauthorized access to personal data. However we also need to provide solutions to secure transmission of spoken infor...
PRIMA
2009
Springer
14 years 4 months ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
We present here an approach for applying the technique of modeling data transformation manifolds for invariant learning with kernel methods. The approach is based on building a ke...
BTW
2007
Springer
14 years 4 months ago
2007
Springer
: Information integration requires manipulating data and metadata in ways that in general go beyond a single existing transformation formalism. As a result, a complete source-to-ta...