Sciweavers

13913 search results - page 117 / 2783
» models 2007
Sort
View
SIPS
2007
IEEE
16 years 9 days ago
Rapid Abstract Control Model for Signal Processing Implementation
Kannan Gaddam, Nitin Chandrachoodan, S. Srinivasan
SOCA
2007
IEEE
16 years 9 days ago
A Model Checking Approach to Verify BPEL4WS Workflows
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini