Sciweavers

4604 search results - page 248 / 921
» Analysis of Negotiation Dynamics
Sort
View
149
Voted
JCS
2007
120views more  JCS 2007»
15 years 4 months ago
Dynamic types for authentication
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
HICSS
2011
IEEE
238views Biometrics» more  HICSS 2011»
14 years 8 months ago
Smoking Behavior and Friendship Formation: The Importance of Time Heterogeneity in Studying Social Network Dynamics
—This study illustrates the importance of assessing and accounting for time heterogeneity in longitudinal social network analysis. We apply the time heterogeneity model selection...
Joshua Alfred Lospinoso, Danielle J. Satchell
VMCAI
2010
Springer
16 years 1 months ago
Shape Analysis in the Absence of Pointers and Structure
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...
Matthew Might
CVPR
2007
IEEE
16 years 6 months ago
Boosting Coded Dynamic Features for Facial Action Units and Facial Expression Recognition
It is well known that how to extract dynamical features is a key issue for video based face analysis. In this paper, we present a novel approach of facial action units (AU) and ex...
Peng Yang, Qingshan Liu, Dimitris N. Metaxas
SIGSOFT
2005
ACM
16 years 5 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...