Sciweavers

1140 search results - page 139 / 228
» A Model Driven Framework for IT Transformation
Sort
View
WSC
2004
15 years 7 months ago
Developing Federation Object Models Using Ontologies
The reuse of existing simulations in multiple federations is an important goal of distributed simulation frameworks. However, in order to reuse a federate, its simulation code oft...
Tarun Rathnam, Christiaan J. J. Paredis
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
15 years 4 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
ICRA
2003
IEEE
131views Robotics» more  ICRA 2003»
15 years 11 months ago
Sky/ground modeling for autonomous MAV flight
Abstract— Recently, we have implemented a computervision based horizon-tracking algorithm for flight stability and autonomy in Micro Air Vehicles (MAVs) [1]. Occasionally, this ...
Sinisa Todorovic, Michael C. Nechyba, Peter G. Ifj...
EWSA
2004
Springer
15 years 11 months ago
Towards an MDA-Based Development Methodology
This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases ...
Anastasius Gavras, Mariano Belaunde, Luís F...
EMISA
2006
Springer
15 years 10 months ago
Implementing a Service-Oriented Architecture for Small and Medium Organisations
: This paper explains how we have designed a service-oriented architecture by combining and extending several open source environments. We show how the IT architecture of the Natio...
Pascal Bauler, Fernand Feltz, Nicolas Biri, Philip...