Sciweavers

7047 search results - page 218 / 1410
» Focusing on Binding and Computation
Sort
View
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
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...
CODES
2010
IEEE
15 years 4 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...