184 search results - page 5 / 37 » A Notation and Logic for Mobile Computing |
AINA
2004
IEEE
13 years 11 months ago
2004
IEEE
SAINT
2005
IEEE
14 years 1 months ago
2005
IEEE
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...
KSEM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
MA
2000
Springer
13 years 11 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
APLAS
2006
ACM
13 years 11 months ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...