Sciweavers

2261 search results - page 80 / 453
» Dynamic types for authentication
Sort
View
LICS
1990
IEEE
14 years 29 days ago
The Dynamic Logic of Permission
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
Ron van der Meyden
AIRS
2010
Springer
13 years 7 months ago
Dynamics of Genre and Domain Intents
Abstract. As the type of content available on the web is becoming increasingly diverse, a particular challenge is to properly determine the types of documents sought by a user, tha...
Shanu Sushmita, Benjamin Piwowarski, Mounia Lalmas
POPL
2007
ACM
14 years 9 months ago
Cork: dynamic memory leak detection for garbage-collected languages
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...
Maria Jump, Kathryn S. McKinley
BIRTHDAY
2008
Springer
13 years 11 months ago
A Heterogeneous Approach to UML Semantics
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
María Victoria Cengarle, Alexander Knapp, A...
ICIAP
2007
ACM
14 years 9 months ago
Video Biometrics
In this paper we propose multimodal fusion of super resolved texture (SRT) features and 3D shape features with acoustic features for 3D audio-video person authentication systems w...
Rama Chellappa, Gaurav Aggarwal