9702 search results - page 233 / 1941 » Communicating Mobile Processes |
125
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—We analyze the anonymous communication patterns of 2.5 million customers of a Belgian mobile phone operator. With these communications, we construct a social network of customer...
165
click to vote
AINA
2009
IEEE
16 years 29 days ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
182
click to vote
CALCO
2005
Springer
15 years 11 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
148
click to vote
ICESS
2005
Springer
15 years 11 months ago
2005
Springer
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...
140
click to vote
JACIII
2007
15 years 6 months ago
2007
In multi-robot system, cooperation is needed to execute tasks efficiently. The purpose of this study is to realize cooperation among multiple robots using interactive communicatio...