Sciweavers

6079 search results - page 85 / 1216
» Aspect-Oriented Process Engineering
Sort
View
FM
2009
Springer
171views Formal Methods» more  FM 2009»
16 years 22 days 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
16 years 17 days 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
16 years 22 days ago
Markov decision process (MDP) framework for optimizing software on mobile phones
Tang Lung Cheung, Kari Okamoto, Frank Maker III, X...
CSSE
2008
IEEE
16 years 19 days ago
Sound-Specific Vibration Interface using Digital Signal Processing
Dongju Chi, Donghyun Cho, Sungjin Oh, Kyungkoo Jun...