Sciweavers

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