Sciweavers

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