Sciweavers

4201 search results - page 423 / 841
» Interaction graphs: Additives
Sort
View
ACSAC
2005
IEEE
16 years 18 days ago
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
Jan Jürjens
HAPTICS
2005
IEEE
16 years 17 days ago
Haptic Glyphs (Hlyphs) -- Structured Haptic Objects for Haptic Visualization
Haptic devices can be used to visualize information. As well as representing tangible surfaces and forces to enhance virtual training simulators for instance, haptic devices have ...
Jonathan C. Roberts, Keith M. Franklin
IV
2005
IEEE
178views Visualization» more  IV 2005»
16 years 16 days ago
Capturing Team Dynamics through Temporal Social Surfaces
This paper introduces Temporal Social Surfaces. Temporal Social Surfaces show the dynamic evolution of social relationships in groups. Changes in measures of social network analys...
Peter A. Gloor
CP
2005
Springer
16 years 15 days ago
Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation
This paper describes an efficient, complete approach for solving a complex allocation and scheduling problem for Multi-Processor System-on-Chip (MPSoC). Given a throughput constra...
Luca Benini, Davide Bertozzi, Alessio Guerri, Mich...
SIGCSE
2004
ACM
110views Education» more  SIGCSE 2004»
16 years 11 days ago
An extensible framework for providing dynamic data structure visualizations in a lightweight IDE
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
T. Dean Hendrix, James H. Cross II, Larry A. Barow...