Sciweavers

5 search results - page 1 / 1
» An Improved Real-Quadratic-Field-Based Key Exchange Procedur...
Sort
View
JOC
2006
77views more  JOC 2006»
13 years 4 months ago
An Improved Real-Quadratic-Field-Based Key Exchange Procedure
To date, the only non-group structure that has been suitably employed as the key space for Diffie-Hellman type cryptographic key exchange is the infrastructure of a real quadratic ...
Michael J. Jacobson Jr., Renate Scheidler, Hugh C....
ISESE
2002
IEEE
13 years 9 months ago
Verification and Validation in Industry -- A Qualitative Survey on the State of Practice
Verification and validation activities take a substantial share of project budgets and need improvements. This is an accepted truth, but the current practices are seldom assessed ...
Carina Andersson, Per Runeson
ICIP
2010
IEEE
13 years 2 months ago
Deterministic structured network coding for WWAN video broadcast with cooperative peer-to-peer repair
Recent research has exploited the multi-homing property (one terminal with multiple network interfaces) of modern devices to improve communication performance in wireless networks...
Xin Liu, Gene Cheung, Chen-Nee Chuah
PODS
2008
ACM
178views Database» more  PODS 2008»
14 years 5 months ago
The chase revisited
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...
Alin Deutsch, Alan Nash, Jeffrey B. Remmel
BMCBI
2010
122views more  BMCBI 2010»
13 years 5 months ago
An overview of the CellML API and its implementation
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
Andrew K. Miller, Justin Marsh, Adam Reeve, Alan G...