1648 search results - page 170 / 330 » A Modelling Framework for Functional Imagination |
149
Voted
IEEESCC
2005
IEEE
15 years 9 months ago
2005
IEEE
The web service is a main working pattern and a significant application model for next generation Internet application. The service-oriented architecture is a very promising archi...
112
Voted
MJ
2006
15 years 3 months ago
2006
The Hardware (HW)/Software (SW) partitioning/scheduling relies on two subtasks : the cost function and the real time (RT) analysis. Besides these two subtasks, the proposed generi...
157
click to vote
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
165
click to vote
CAD
2004
Springer
15 years 3 months ago
2004
Springer
Solid modeling based on partial differential equations (PDEs) can potentially unify both geometric constraints and functional requirements within a single design framework to mode...
89
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
In previous work [7] a computational framework was demonstrated that employs evolutionary algorithms to automatically model a given system. This is accomplished by alternating the...