296 search results - page 33 / 60 » Modeling in an Architectural Variability Description Languag... |
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
132
Voted
LOGCOM
1998
15 years 1 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
82
Voted
ENTCS
2008
15 years 1 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
123
click to vote
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
102
click to vote
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...