2243 search results - page 117 / 449 » Contracts for Mobile Processes |
128
Voted
AMCS
2010
15 years 4 months ago
2010
satisfactory network connectivity have dominated this line of research and abstracted away from the mathematical description of the physical processes underlying the observed pheno...
109
click to vote
BC
2000
15 years 3 months ago
2000
Abstract The visual homing abilities of insects can be explained by the snapshot hypothesis. It asserts that an animal is guided to a previously visited location by comparing the c...
203
click to vote
DBSEC
2011
14 years 7 months ago
2011
Abstract. With sensors and mobile devices becoming ubiquitous, situation monitoring applications are becoming a reality. Data Stream Management Systems (DSMSs) have been proposed t...
133
click to vote
IFIPTCS
2000
15 years 7 months ago
2000
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
129
Voted
KDD
2009
ACM
15 years 10 months ago
2009
ACM
Distributed PRocessing in Mobile Environments (DPRiME) is a framework for processing large data sets across an ad-hoc network. Developed to address the shortcomings of Google’s ...