Sciweavers

3623 search results - page 342 / 725
» Functionally Modeled User Interfaces
Sort
View
TOOLS
1999
IEEE
15 years 9 months ago
Bounding Component Behavior via Protocols
In this paper we enhance the SOFA Component Description Language with a semantic description of a component's functionality. There are two key requirements this description a...
Frantisek Plasil, Milos Besta, Stanislav Visnovsky
HAPTICS
2002
IEEE
15 years 9 months ago
Simulated Interactive Needle Insertion
A novel interactive virtual needle insertion simulation is presented. Simulation models are based upon planar tissue deformations and forces measured during needle insertion exper...
Simon P. DiMaio, S. E. Salcudean
NORDSEC
2009
Springer
15 years 9 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
AH
2006
Springer
15 years 8 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 8 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