8555 search results - page 188 / 1711 » Property Based Coordination |
128
click to vote
SMA
2010
ACM
15 years 4 months ago
2010
ACM
In a recent paper, Warren, Schaefer, Hirani, and Desbrun proposed a simple method of interpolating a function defined on the boundary of a smooth convex domain, using an integral ...
174
click to vote
EUROMED
2010
15 years 2 months ago
2010
A map series of 1920s Mytilene town, property of Lesvos Archives, had been inaccessible due to its poor condition. One map of this series was restored, scanned, digitised and given...
161
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
132
Voted
ESWA
2008
15 years 4 months ago
2008
A persistent problem in the use of automated workflow management systems for inter-organizational workflows has been the need for manual redefinition of coordination points in the...
131
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...