671 search results - page 77 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
TVLSI
2008
14 years 11 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
WWW
2001
ACM
16 years 14 days ago
2001
ACM
Content understanding is a crucial issue for website adaptation. In this paper we present a Function-based Object Model (FOM) that attempts to understand authors' intention b...
105
click to vote
SOUPS
2009
ACM
15 years 6 months ago
2009
ACM
Abstract: Today, most Internet applications still establish user authentication with traditional text based passwords. Designing a secure as well as a user-friendly password-based ...
96
Voted
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— As content delivery to wireless devices becomes faster and scalable, it is likely that mobile commerce will constitute a significant portion of digital commerce. In markets, b...
WWW
2008
ACM
16 years 15 days ago
2008
ACM
With Telecom market reaching saturation in many geographies and revenues from voice calls decreasing, Telecom operators are trying to identify new sources of revenue. For this pur...