221 search results - page 20 / 45 » Consistent Graphical Specification of Distributed Systems |
CACM
1999
13 years 7 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
WSC
1997
13 years 9 months ago
1997
The AutoModTM simulation system differs significantly from other systems because of its ability to deal with the physical elements of a system in physical (graphical) terms and th...
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
EUROPAR
2009
Springer
14 years 2 months ago
2009
Springer
While general-purpose homogeneous multi-core architectures are becoming ubiquitous, there are clear indications that, for a number of important applications, a better performance/p...
SELMAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...