4098 search results - page 194 / 820 » Sound mobility models |
117
click to vote
ACISP
2004
Springer
15 years 9 months ago
2004
Springer
The Canetti-Krawczyk (CK) model is useful for building reusable components that lead to rapid development of secure protocols, especially for engineers working outside of the secur...
109
click to vote
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper develops a generic geometry-based stochastic model for mobile-to-mobile (M2M) Ricean fading channels. From the generic model, the level crossing rate (LCR) and average f...
141
click to vote
AINA
2009
IEEE
15 years 11 months 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...
159
click to vote
CALCO
2005
Springer
15 years 10 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 ...
118
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Current IT literature emphasizes the importance of adopting a governance strategy based on an organization’s customer market, and inherent technology and personnel capabilities....