Sciweavers

4965 search results - page 80 / 993
» A Simple Abstraction for Data Modeling
Sort
View
COORDINATION
2007
Springer
16 years 27 days ago
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
John Field, Maria-Cristina V. Marinescu, Christian...
VMCAI
2005
Springer
16 years 6 days ago
Cryptographic Protocol Analysis on Real C Code
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
Jean Goubault-Larrecq, Fabrice Parrennes
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
16 years 2 days ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
187
Voted
SEMWEB
2009
Springer
16 years 1 months ago
LinkedGeoData: Adding a Spatial Dimension to the Web of Data
Abstract. In order to employ the Web as a medium for data and information integration, comprehensive datasets and vocabularies are required as they enable the disambiguation and al...
Sören Auer, Jens Lehmann, Sebastian Hellmann
131
Voted
ICANN
2007
Springer
16 years 26 days ago
A Two-Layer ICA-Like Model Estimated by Score Matching
Abstract. Capturing regularities in high-dimensional data is an important problem in machine learning and signal processing. Here we present a statistical model that learns a nonli...
Urs Köster, Aapo Hyvärinen