Sciweavers

963 search results - page 16 / 193
» Types for Mobile Ambients
Sort
View
SAC
2009
ACM
15 years 10 months ago
Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients
Attackers take advantage of any security breach to penetrate an organisation perimeter and exploit hosts as stepping stones to reach valuable assets, deeper in the network. The exp...
Virginia N. L. Franqueira, Raul H. C. Lopes, Pasca...
MDM
2007
Springer
123views Communications» more  MDM 2007»
15 years 10 months ago
Group Anti-Entropy - Achieving Eventual Consistency in Mobile Service Environments
Data consistency protocols are vital ingredients of mobile data management systems. Notable research efforts have been spent to find adequate consistency models for allowing mobi...
Klaus Herrmann
133
Voted
ESOP
2000
Springer
15 years 7 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
180
Voted
JUCS
2006
143views more  JUCS 2006»
15 years 3 months ago
Context-Aware QoS Provision for Mobile Ad-hoc Network -based Ambient Intelligent Environments
: Lately, wireless networks have gained acceptance for home networking. Low cost installation, flexibility and no fixed infrastructures have made it possible home environments rapi...
Felix Jesús Villanueva, David Villa, Franci...
154
Voted
ISCC
2007
IEEE
15 years 10 months ago
Analysis of Load Dependency of Handover Strategies in Mobile Multiaccess Ambient Networks
Wireless operators incorporate multiradio access technologies aiming at expanding their customer base and benefiting from synergies of existing and planned infrastructure. The res...
Petteri Pöyhönen, Daniel Hollos, Haitao ...