4126 search results - page 619 / 826 » Relationships with other Formalisms |
191
click to vote
ACNS
2008
Springer
16 years 26 days ago
2008
Springer
In the pursuit of authentication schemes that balance user privacy and accountability, numerous anonymous credential systems have been constructed. However, existing systems assume...
149
click to vote
CBMS
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper focuses on the problem of representing, in a meaningful way, the knowledge involved in the HealthAgents project. Our work is motivated by the complexity of representing...
180
click to vote
CIDM
2007
IEEE
16 years 26 days ago
2007
IEEE
— In recent applications of clustering such as gene expression microarray analysis, collaborative filtering, and web mining, object similarity is no longer measured by physical ...
196
click to vote
CSFW
2007
IEEE
16 years 26 days ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
129
click to vote
DATE
2007
IEEE
16 years 26 days ago
2007
IEEE
An important aspect of Design for Yield for embedded SRAM is identifying the expected worst case behavior in order to guarantee that sufficient design margin is present. Previousl...