Sciweavers

14704 search results - page 149 / 2941
» computing 2007
Sort
View
SOCA
2007
IEEE
15 years 9 months ago
A Model Checking Approach to Verify BPEL4WS Workflows
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini
ACII
2007
Springer
15 years 9 months ago
An Emotional Model for Synthetic Characters with Personality
Karim Sehaba, Nicolas Sabouret, Vincent Corruble
COORDINATION
2007
Springer
15 years 9 months ago
Actors That Unify Threads and Events
Philipp Haller, Martin Odersky