Sciweavers

5009 search results - page 158 / 1002
» Value chain modelling using system dynamics
Sort
View
TACS
1994
Springer
15 years 7 months ago
A Semantic Theory for Concurrent ML
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
Dominique Bolignano, Mourad Debbabi
159
Voted
BMCBI
2008
122views more  BMCBI 2008»
15 years 3 months ago
High-throughput bioinformatics with the Cyrille2 pipeline system
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
Mark W. E. J. Fiers, Ate van der Burgt, Erwin Date...
178
Voted
CONCUR
1998
Springer
15 years 8 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
120
Voted
VTC
2006
IEEE
107views Communications» more  VTC 2006»
15 years 9 months ago
Cross-Layer Modeling of Capacity of UMTS/HSDPA Networks Under Dynamic User Setting
— We focus in this paper on the cross-layer modeling of the integration of streaming and elastic flows in the downlink of UMTS/HSDPA systems. Streaming flows are transported ov...
Tijani Chahed, Mariana Dirani
113
Voted
PERCOM
2004
ACM
16 years 3 months ago
Dynamic World Models from Ray-tracing
Context-aware computing systems demand an accurate and up-to-date world model which computationally represents the environment they oversee. Systems to date tend to have small-sca...
Robert K. Harle, Andy Hopper