393 search results - page 50 / 79 » synthese 2008 |
109
click to vote
BPM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Many work has been conducted to analyze service choreographies to assert manyfold correctness criteria. While errors can be detected automatically, the correction of defe...
116
click to vote
BPM
2008
Springer
15 years 3 months ago
2008
Springer
In the immediate aftermath of a disaster routine processes, even if specifically designed for such a situation, are not enacted blindly. Actions and processes rather adapt their be...
CONEXT
2008
ACM
15 years 3 months ago
2008
ACM
We describe Trellis, a platform for hosting virtual networks on shared commodity hardware. Trellis allows each virtual network to define its own topology, control protocols, and f...
154
click to vote
ETVC
2008
15 years 3 months ago
2008
Computational photography combines plentiful computing, digital sensors, modern optics, actuators, and smart lights to escape the limitations of traditional cameras, enables novel ...
126
click to vote
EUROGP
2008
Springer
15 years 3 months ago
2008
Springer
Many automatically-synthesized programs have, like their hand-made counterparts, numerical parameters that need to be set properly before they can show an acceptable performance. H...