Sciweavers

7225 search results - page 1210 / 1445
» On the Computational Power of Biochemistry
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
15 years 1 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
96
Voted
CL
2006
Springer
15 years 1 months ago
Inter-language reflection: A conceptual model and its implementation
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...
Kris Gybels, Roel Wuyts, Stéphane Ducasse, ...
DEBU
2006
142views more  DEBU 2006»
15 years 1 months ago
Automated Storage Management with QoS Guarantee in Large-scale Virtualized Storage Systems
Storage virtualization in modern storage systems allows variability in the number of "physical" disks supporting a single "virtual" disk. In practice, IO workl...
Lin Qiao, Balakrishna R. Iyer, Divyakant Agrawal, ...
100
Voted
EOR
2006
76views more  EOR 2006»
15 years 1 months ago
Regional development assessment: A structural equation approach
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...
Dario Cziráky, Joze Sambt, Joze Rovan, Jaks...
FS
2006
84views more  FS 2006»
15 years 1 months ago
Iterative construction of the optimal Bermudan stopping time
Abstract. We present an iterative procedure for computing the optimal Bermudan stopping time, hence the Bermudan Snell envelope. The method produces an increasing sequence of appro...
Anastasia Kolodko, John Schoenmakers
« Prev « First page 1210 / 1445 Last » Next »