Sciweavers

4700 search results - page 717 / 940
» Reusable Web Services
Sort
View
DAC
1997
ACM
15 years 11 months ago
Electronic Component Information Exchange (ECIX)
A number of industry trends are shaping the requirements for IC and electronic equipment design. The density and complexity of circuit technologies have increased to a point where...
Donald R. Cottrell
APLAS
2010
ACM
15 years 7 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
BMCBI
2005
196views more  BMCBI 2005»
15 years 7 months ago
Chemistry in Bioinformatics
Chemical information is now seen as critical for most areas of life sciences. But unlike Bioinformatics, where data is Openly available and freely re-usable, most chemical informa...
Peter Murray-Rust, John B. O. Mitchell, Henry S. R...
ICDE
2005
IEEE
165views Database» more  ICDE 2005»
16 years 8 months ago
Querying and Visualizing Gridded Datasets for e-Science
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...
Bill Howe, David Maier
ICDE
2005
IEEE
116views Database» more  ICDE 2005»
16 years 8 months ago
RDF Aggregate Queries and Views
Resource Description Framework (RDF) is a rapidly expanding web standard. RDF databases attempt to track the massive amounts of web data and services available. In this paper, we ...
Edward Hung, Yu Deng, V. S. Subrahmanian