1027 search results - page 30 / 206 » Callgraph properties of executables |
ECMDAFA
2007
Springer
14 years 5 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
FORMATS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
EUROPAR
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. To establish lower bounds on the amount of replication, there is a common partition argument used to construct indistinguishable executions such that one violates some pr...
CEEMAS
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
AOSE
2005
Springer
14 years 4 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...