Sciweavers

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