1809 search results - page 95 / 362 » A Formal Specification of dMARS |
IJIS
2002
13 years 8 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
IFIP
1992
Springer
14 years 1 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
ECMDAFA
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
CODES
2001
IEEE
14 years 18 days ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
JUCS
2008
13 years 9 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...