Sciweavers

2940 search results - page 413 / 588
» Relational Parametricity and Control
Sort
View
ESAW
2009
Springer
15 years 12 months ago
PreSage-MS: Metric Spaces in PreSage
Abstract. We consider adaptation in open systems, i.e. systems without global objects or common objectives. There are three related issues: how to make the degrees of freedom (DoFs...
Hugo Carr, Alexander Artikis, Jeremy Pitt
IWANN
2009
Springer
15 years 12 months ago
A Proposal for Mobile Diabetes Self-control: Towards a Patient Monitoring Framework
In this paper, we present a proposal for Patients’ Mobile Monitoring. This framework enables the definition and generation of profiles, modules and communication structures betwe...
Vladimir Villarreal, Javier Laguna, Silvia L&oacut...
SIGCOMM
2009
ACM
15 years 12 months ago
Network virtualization: a view from the bottom
The interest in network virtualization has been growing steadily among the networking community in the last few years. Network virtualization opens up new possibilities for the ev...
Jorge Carapinha, Javier Jiménez
SIN
2009
ACM
15 years 12 months ago
An information security ontology incorporating human-behavioural implications
Security managers often regard human behaviour as a security liability, but they should accommodate it within their organisation’s information security management procedures. To...
Simon Edward Parkin, Aad P. A. van Moorsel, Robert...
SOUPS
2009
ACM
15 years 12 months ago
The impact of expressiveness on the effectiveness of privacy mechanisms for location-sharing
A recent trend in social networking, photo/video sharing, and location-sharing services is a demand for more expressive privacy mechanisms that provide greater control over the co...
Michael Benisch, Patrick Gage Kelley, Norman M. Sa...