10289 search results - page 1818 / 2058 » Standard bases in K |
188
click to vote
JSS
2011
14 years 9 months ago
2011
: A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors are compatible with its original col...
179
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
230
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
176
click to vote
IACR
2011
14 years 6 months ago
2011
Abstract—In this work we consider two protocols for performing cryptanalysis and security enhancement. The first one by Song, is a password authentication scheme based on smart ...
289
click to vote
IHI
2012
14 years 2 months ago
2012
Electronic Health Record (EHR) and Personal Health Record (PHR) systems could allow patients to better manage their health information and share it to enhance the quality and effi...