Sciweavers

2821 search results - page 35 / 565
» Tracing a single user
Sort
View
GI
2009
Springer
13 years 7 months ago
Introducing Community Single Sign-On for EDIT
: The European Distributed Institute of Taxonomy (EDIT) platform, as well as biodiversity providers in general, provides a multitude of web-based taxonomic applications and service...
Lutz Suhrbier
HVC
2005
Springer
112views Hardware» more  HVC 2005»
14 years 2 months ago
Dynamic Deadlock Analysis of Multi-threaded Programs
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
Saddek Bensalem, Klaus Havelund
SPLC
2004
13 years 10 months ago
Automatic Generation of Program Families by Model Restrictions
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
Andrzej Wesowski
CHI
2009
ACM
14 years 9 months ago
Comparing usage of a large high-resolution display to single or dual desktop displays for daily work
With the ever increasing amount of digital information, users desire more screen real estate to process their daily computing work, and might well benefit from using a wallsize la...
Xiaojun Bi, Ravin Balakrishnan
EUROCRYPT
2005
Springer
14 years 2 months ago
Public Traceability in Traitor Tracing Schemes
Traitor tracing schemes are of major importance for secure distribution of digital content. They indeed aim at protecting content providers from colluding users to build pirate dec...
Hervé Chabanne, Duong Hieu Phan, David Poin...