7209 search results - page 352 / 1442 » Software Engineering for Multi-Agent Systems |
97
Voted
ADAEUROPE
2008
Springer
15 years 2 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
87
Voted
ECSA
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Usage and exploitation of the Internet is a critical requirement for managing and distributing valuable digital assets. This requirement introduces a great number of thre...
115
Voted
FOSSACS
2011
Springer
14 years 4 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
151
Voted
ARES
1998
Springer
15 years 5 months ago
1998
Springer
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
79
Voted
AVI
2000
15 years 2 months ago
2000
In previous work, the first author argued for simple lightweight visualisations. These are surprisingly complex to produce due to the need for infrastructure to read files, etc. o...