2706 search results - page 284 / 542 » The case for a new business model |
185
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
A key exchange protocol allows a set of parties to agree upon a secret session key over a public network. Two-party key exchange (2PKE) protocols have been rigorously analyzed unde...
163
click to vote
AI
2008
Springer
16 years 1 months ago
2008
Springer
Online communities have grown to be an alternative form of communication for many people. This widespread growth and influence of the members of these communities in shaping the d...
199
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
190
click to vote
AIME
2007
Springer
16 years 27 days ago
2007
Springer
Traditional Chinese medicine (TCM) is an important avenue for disease prevention and treatment for the Chinese people and is gaining popularity among others. However, many remain s...
185
click to vote
ASYNC
2005
IEEE
16 years 10 days ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...