22 search results - page 2 / 5 » Specifying Temporal Behaviour in Software Architectures for ... |
CCGRID
2006
IEEE
13 years 11 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...
CBSE
2008
Springer
13 years 6 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...
DAIS
1997
13 years 6 months ago
1997
An increasing number of distributed applications are being constructed by composing them out of existing applications. The resulting applications can be very complex in structure,...
SPIN
2005
Springer
13 years 10 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...