795 search results - page 106 / 159 » A Formal Approach to Heterogeneous Software Modeling |
FMCO
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
97
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...