329 search results - page 33 / 66 » Complementing Computational Protocol Analysis with Formal Sp... |
DAC
2007
ACM
14 years 11 days ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
PDC
2004
ACM
14 years 1 months ago
2004
ACM
This paper discusses and evaluates use of different participatory design methods in relation to addressing the challenge of grounding imagination. It presents reflections on the u...
HCI
2009
13 years 6 months ago
2009
The mobile phone has become one of the most popular products amongst today's consumers. The Mobile Phone Usability Questionnaire (MPUQ) was developed to provide an effective s...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...