Sciweavers

6079 search results - page 85 / 1216
» Aspect-Oriented Process Engineering
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
14 years 2 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ö...
ISSRE
2008
IEEE
14 years 2 months ago
A Model-Driven Approach to Assuring Process Reliability
The process can fail to deliver its expected outputs
Ibrahim Habli, Tim Kelly
EMSOFT
2009
Springer
14 years 2 months ago
Markov decision process (MDP) framework for optimizing software on mobile phones
Tang Lung Cheung, Kari Okamoto, Frank Maker III, X...
CSSE
2008
IEEE
14 years 2 months ago
Sound-Specific Vibration Interface using Digital Signal Processing
Dongju Chi, Donghyun Cho, Sungjin Oh, Kyungkoo Jun...