12478 search results - page 61 / 2496 » Secure Interaction Design |
130
click to vote
ESORICS
2002
Springer
16 years 2 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
120
Voted
VISUALIZATION
2002
IEEE
15 years 7 months ago
2002
IEEE
Internet connectivity is defined by a set of routing protocols which let the routers that comprise the Internet backbone choose the best route for a packet to reach its destinati...
104
click to vote
INTERACT
2003
15 years 3 months ago
2003
: The Augmented Round Table provides a collaborative interactive AR environment, where users can interact naturally and intuitively. They may create and manipulate complex 3D geome...
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
HUC
2004
Springer
15 years 8 months ago
2004
Springer