7961 search results - page 395 / 1593 » Input-Output Model Programs |
131
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...
181
click to vote
ECBS
2006
IEEE
16 years 5 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 ...
150
click to vote
IPPS
2006
IEEE
16 years 4 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...
163
click to vote
UML
2004
Springer
15 years 11 months 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...
168
click to vote
WSC
2008
15 years 8 months ago
2008
MKPLS (Multiway Kernel Partial Least Squares) methods are used to model the batch processes from process operational data. To improve the optimization performance, a batch-to-batc...