42 search results - page 9 / 9 » On the Termination Problem for Declarative XML Message Proce... |
DIALM
2010
ACM
13 years 2 months ago
2010
ACM
We present a method for using real world mobility traces to identify tractable theoretical models for the study of distributed algorithms in mobile networks. We validate the metho...
MKM
2009
Springer
13 years 11 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...