2243 search results - page 195 / 449 » Contracts for Mobile Processes |
153
click to vote
CAISE
2003
Springer
15 years 8 months ago
2003
Springer
We present our work on composing mobile Web services, denoted by M-services, in the wireless world. The wireless world has its own features that make it completely different from t...
122
click to vote
DS
2001
15 years 5 months ago
2001
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
145
click to vote
ISICT
2003
15 years 5 months ago
2003
: Cryptographic protocols are used to achieve secure communication over insecure networks. Weaknesses in such protocols are hard to identify, as they can be the result of subtle de...
126
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
—The Host Identity Protocol (HIP) has been specified by the IETF as a new solution for secure host mobility and multihoming in the Internet. HIP uses self-certifying publicpriva...
139
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
There are examples of robotic systems in which autonomous mobile robots self-assemble into larger connected entities. However, existing systems display little or no autonomous cont...