Sciweavers

11462 search results - page 554 / 2293
» Developing Application-Centric Methods
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
16 years 1 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
DATE
2008
IEEE
104views Hardware» more  DATE 2008»
16 years 1 months ago
A Novel Approach for EMI Design of Power Electronics
The placement of passive components significantly influences the EMI behavior of power electronic systems. Particularly filter components are affected by magnetic field coupling r...
Bernd Stube, Bernd Schröder, Eckart Hoene, An...
CEC
2007
IEEE
16 years 1 months ago
Multi-population competitive co-evolution of car racing controllers
Abstract— Multi-population competitive co-evolution is explored as a way of developing controllers for a simple (but definitely not trivial) car racing game. The three main uses...
Julian Togelius, Peter Burrow, Simon M. Lucas
BIRTHDAY
2007
Springer
16 years 1 months ago
Orderings and Constraints: Theory and Practice of Proving Termination
In contrast to the current general way of developing tools for proving termination automatically, this paper intends to show an alternative program based on using on the one hand t...
Cristina Borralleras, Albert Rubio
ICWE
2007
Springer
16 years 1 months ago
Bridging the Gap between BPMN and WS-BPEL. M2M Transformations in Practice
Abstract. The Web is being consolidating as the main platform for the development of applications. Moreover, these applications are not conceived just as isolated systems. This fac...
Pau Giner, Victoria Torres, Vicente Pelechano