8109 search results - page 430 / 1622 » A Model of Component-Based Programming |
185
click to vote
PRICAI
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
155
click to vote
ENTCS
2007
15 years 6 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...
199
click to vote
ECBS
2006
IEEE
16 years 29 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
178
click to vote
IPPS
2006
IEEE
16 years 28 days ago
2006
IEEE
— This paper describes work in progress to extend component models to support Master-Worker applications and to let them to be executed on Grid infrastructures. The proposed appr...
184
click to vote
UML
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...