Sciweavers

2550 search results - page 365 / 510
» The Meaning of Open Standards
Sort
View
CSFW
2003
IEEE
15 years 4 months ago
Understanding SPKI/SDSI Using First-Order Logic
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
Ninghui Li, John C. Mitchell
IPPS
2003
IEEE
15 years 4 months ago
A Fast Algorithm for the Exhaustive Analysis of 12-Nucleotide-Long DNA Sequences. Applications to Human Genomics
We have developed a new algorithm that allows the exhaustive determination of words of up to 12 nucleotides in DNA sequences. It is fast enough as to be used at a genomic scale ru...
Vicente Arnau, Ignacio Marín
WECWIS
2003
IEEE
106views ECommerce» more  WECWIS 2003»
15 years 4 months ago
Contract Representation for Run-time Monitoring and Enforcement
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
Carlos Molina-Jiménez, Santosh K. Shrivasta...
SIGGRAPH
2003
ACM
15 years 4 months ago
CGEMS: Computer Graphics Educational Materials Server
Computer graphics has evolved considerably over the past few decades. As computer science, digital arts, and other areas of study that use computer graphics continue to evolve and...
Frederico C. Figueiredo, Dena Elisabeth Eber, Joaq...
BTW
2003
Springer
92views Database» more  BTW 2003»
15 years 4 months ago
A Logical, Transparent Model for Querying Linked XML Documents
Abstract:The W3C XML Linking Language (XLink) provides a powerful means for interlinking XML documents all over the world. While the effects when browsing through linked XML docume...
Wolfgang May, Dimitrio Malheiro