Sciweavers

29046 search results - page 305 / 5810
» Computable Models
Sort
View
ICNS
2007
IEEE
16 years 1 months ago
Conversational Model Based VoIP Traffic Generation
Li Ji, Xingang Shi, Zhiliang Wang
SOCA
2007
IEEE
16 years 1 months ago
A Model Checking Approach to Verify BPEL4WS Workflows
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini