8555 search results - page 188 / 1711 » Property Based Coordination |
186
click to vote
SMA
2010
ACM
15 years 7 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 ...
234
Voted
EUROMED
2010
15 years 5 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...
218
click to vote
ATAL
2010
Springer
15 years 8 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...
180
click to vote
ESWA
2008
15 years 7 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...
205
Voted
CBSE
2006
Springer
15 years 11 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...