Sciweavers

1424 search results - page 180 / 285
» An industrial case study on wearable computing applications
Sort
View
AIMS
2008
Springer
15 years 8 months ago
Entwined Influences of Users' Behaviour and QoS: A Multi-model Approach
In distributed, dynamic networks and applications, such as Peer-to-Peer (P2P), users'behaviour and quality of service/quality of experiment1 are known to influence each other....
Julien Siebert, Vincent Chevrier, Laurent Ciarlett...
NDSS
2000
IEEE
15 years 10 months ago
Analysis of a Fair Exchange Protocol
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
Vitaly Shmatikov, John C. Mitchell
PERCOM
2005
ACM
16 years 6 months ago
Modeling Context-Aware e-Learning Scenarios
In the last decade, e-learning has been introduced to a variety of blended learning scenarios, such as life-long learning, University lectures, and game-based learning. In all the...
Michael Derntl, Karin Anna Hummel
IWPEC
2009
Springer
16 years 29 days ago
Stable Assignment with Couples: Parameterized Complexity and Local Search
We study the Hospitals/Residents with Couples problem, a variant of the classical Stable Marriage problem. This is the extension of the Hospitals/Residents problem where residents ...
Dániel Marx, Ildikó Schlotter
ICNS
2008
IEEE
16 years 26 days ago
SLA Monitoring and Management Framework for Telecommunication Services
This paper presents SLA monitoring and management framework for telecommunication services. The basic requirements of this class of systems are specified and verified in context o...
Jacek Kosinski, Piotr Nawrocki, Dominik Radziszows...