10038 search results - page 1952 / 2008 » Model Checking for Managers |
MDM
2007
Springer
14 years 4 months ago
2007
Springer
FriendFinder as a location-based service collects location data from mobile users and distributes a particular user’s location upon request. Privacy of users data especially loc...
WISTP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. For ubiquitous communication self-organising adhoc networks become more and more important. We consider mobile phones as appropriate secure gateways to provide access to ...
BROADNETS
2006
IEEE
14 years 4 months ago
2006
IEEE
— With the advent of service sensitive applications such as remote controlled experiments, time constrained massive data transfers, and video-conferencing, it has become apparent...
DASC
2006
IEEE
14 years 4 months ago
2006
IEEE
Blade severs are being increasingly deployed in modern datacenters due to their high performance/cost ratio and compact size. In this study, we document our work on blade server b...
ICAC
2006
IEEE
14 years 4 months ago
2006
IEEE
— In autonomic provisioning, a resource manager allocates resources to an application, on-demand, e.g., during load spikes. Modelling-based approaches have proved very successful...