963 search results - page 29 / 193 » Types for Mobile Ambients |
FMCO
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
—A mobile robot can be a rather significant source of noise: noisy fans cool onboard computers, motors are spinning, rubber wheels are squeaking against the floor, and mechanical...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
EUSAI
2003
Springer
14 years 1 months ago
2003
Springer
This invited talk starts out with a review of the previously developed Roomware® concept and sample prototypes as an approach for designing new forms of interaction and collaborat...
AIMS
2010
Springer
13 years 8 months ago
2010
Springer
Underwater wireless networks consist of mobile and static nodes, which usually communicate using the acoustic channel since radio transmissions attenuate rapidly and optical commun...