Sciweavers

1983 search results - page 226 / 397
» User Interface Modelling with UML
Sort
View
135
Voted
NORDSEC
2009
Springer
15 years 8 months ago
Formal Analysis of the Estonian Mobile-ID Protocol
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
Peeter Laud, Meelis Roos
138
Voted
AH
2006
Springer
15 years 7 months ago
Visualizing Personal Relations in Online Communities
A hard challenge facing developers of online communities is attaining a critical mass of members and subsequently sustaining their participation. We propose a new mechanism for mot...
Andrew Webster, Julita Vassileva
UIST
1997
ACM
15 years 7 months ago
Flexible Conflict Detection and Management in Collaborative Applications
This paper presents a comprehensive model for dealing with semantic conflicts in applications, and the implementation of this model in a toolkit for collaborative systems. Conflic...
W. Keith Edwards
JUCS
2002
89views more  JUCS 2002»
15 years 3 months ago
Scheduling Tasks to a Team of Autonomous Mobile Service Robots in Indoor Enviroments
Abstract: This paper presents a complete system for scheduling transportation orders to a fleet of autonomous mobile robots in service environments. It consists of the autonomous m...
Hartmut Surmann, Antonio Morales
CHI
2009
ACM
15 years 1 months ago
Interaction programming: next steps
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
Harold W. Thimbleby