118 search results - page 24 / 24 » A Generator of SQL Schema Specifications |
IANDC
2008
13 years 5 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
BMCBI
2006
13 years 5 months ago
2006
Background: Designing novel proteins with site-directed recombination has enormous prospects. By locating effective recombination sites for swapping sequence parts, the probabilit...
ICDE
2010
IEEE
13 years 3 months ago
2010
IEEE
Linked open data (LOD), as provided by a quickly growing number of sources constitutes a wealth of easily accessible information. However, this data is not easy to understand. It i...