Sciweavers

3937 search results - page 639 / 788
» Questioning Ubiquitous Computing
Sort
View
POLICY
2007
Springer
14 years 2 months ago
Web Rule Languages to Carry Policies
Recent efforts in the area of Web policy languages show concerns on how to better represent both context and rules of a domain to deal with large number of resources and users. In...
Nima Kaviani, Dragan Gasevic, Marek Hatala, Gerd W...
SCALESPACE
2007
Springer
14 years 2 months ago
A Geometric Variational Framework for Simultaneous Registration and Parcellation of Homologous Surfaces
In clinical applications where structural asymmetries between homologous shapes have been correlated with pathology, the questions of definition and quantification of ‘asymmetr...
Nicholas A. Lord, Jeffrey Ho, Baba C. Vemuri, Step...
TAMC
2007
Springer
14 years 2 months ago
A Note on Universal Composable Zero Knowledge in Common Reference String Model
Pass observed that universal composable zero-knowledge (UCZK) protocols in the common reference string (CRS) model, where a common reference string is selected trustily by a truste...
Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao
TCC
2007
Springer
124views Cryptology» more  TCC 2007»
14 years 2 months ago
Tackling Adaptive Corruptions in Multicast Encryption Protocols
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
Saurabh Panjwani
WABI
2007
Springer
14 years 2 months ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha