473 search results - page 6 / 95 » Behavioural Models for Hierarchical Components |
134
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
109
click to vote
ENTCS
2007
15 years 3 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
115
click to vote
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
118
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents a new approach to hierarchical high-level synthesis with respect to internal register-transfer structures of complex components. Entire subdesigns can efficie...
115
click to vote
ENTCS
2006
15 years 4 months ago
2006
Global component behaviours as distinguished in Paradigm, offer the ingredients for specifying inter-component coordination in separation from and consistent with detailed compone...