Sciweavers

3378 search results - page 282 / 676
» A universe of binding and computation
Sort
View
CORR
2002
Springer
74views Education» more  CORR 2002»
15 years 6 months ago
A logical reconstruction of SPKI
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
Joseph Y. Halpern, Ron van der Meyden
ENTCS
2002
97views more  ENTCS 2002»
15 years 6 months ago
Plan in Maude: Specifying an Active Network Programming Language
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
Mark-Oliver Stehr, Carolyn L. Talcott
167
Voted
NAR
2000
93views more  NAR 2000»
15 years 6 months ago
Olfactory Receptor Database: a sensory chemoreceptor resource
The Olfactory Receptor Database (ORDB) is a WWWaccessible database that has been expanded from an olfactory receptor resource to a chemoreceptor resource. It stores data on six cl...
Emmanouil Skoufos, Luis N. Marenco, Prakash M. Nad...
OR
2002
Springer
15 years 6 months ago
Sharpe style analysis in the msci sector portfolios: a monte carlo integration approach
We examine a decision-theoretic Bayesian framework for the estimation of Sharpe Style portfolio weights of the MSCI sector returns. Following van Dijk and Kloek (1980) an appropri...
George A. Christodoulakis
TC
2002
15 years 6 months ago
Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems
We investigate whether asynchronous computational models and asynchronous algorithms can be considered for designing real-time distributed fault-tolerant systems. A priori, the lac...
Jean-François Hermant, Gérard Le Lan...