443 search results - page 6 / 89 » A System Development Process with Event-B and the Rodin Plat... |
CAISE
2005
Springer
14 years 7 days ago
2005
Springer
: In this paper, we propose an MDA based approach for developing multi-agent systems. MDA specifies a structured software development process divided in modeling stages. In the PIM...
CSE
2009
IEEE
14 years 1 months ago
2009
IEEE
—In this paper we present a design methodology for the identification and development of a suitable hardware platform (including dedicated hardware accelerators) for the data pl...
PRDC
2005
IEEE
14 years 8 days ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
FDL
2006
IEEE
14 years 23 days ago
2006
IEEE
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...
MDAFA
2004
Springer
14 years 2 days ago
2004
Springer
A key issue in the MDA approach is the transformation of platform independent models to platform specific models. Before transforming to a platform specific model, however, it is n...