Sciweavers

124 search results - page 22 / 25
» On the Computability of Rectifiable Simple Curve (Extended A...
Sort
View
ESOP
2007
Springer
14 years 1 months ago
CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
Maria Grazia Buscemi, Ugo Montanari
CC
2004
Springer
177views System Software» more  CC 2004»
14 years 25 days ago
Value-Based Partial Redundancy Elimination
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
Thomas VanDrunen, Antony L. Hosking
BC
2008
68views more  BC 2008»
13 years 7 months ago
Neural control of Caenorhabditis elegans forward locomotion: the role of sensory feedback
Abstract This paper presents a simple yet biologicallygrounded model for the neural control of Caenorhabditis elegans forward locomotion. We identify a minimal circuit within the C...
John Bryden, Netta Cohen
CORR
2007
Springer
117views Education» more  CORR 2007»
13 years 7 months ago
Non-atomic Games for Multi-User Systems
Abstract—In this contribution, the performance of a multiuser system is analyzed in the context of frequency selective fading channels. Using game theoretic tools, a useful frame...
Nicolas Bonneau, Mérouane Debbah, Eitan Alt...
WABI
2009
Springer
128views Bioinformatics» more  WABI 2009»
14 years 2 months ago
Improving Inference of Transcriptional Regulatory Networks Based on Network Evolutionary Models
Abstract. Computational inference of transcriptional regulatory networks remains a challenging problem, in part due to the lack of strong network models. In this paper we present e...
Xiuwei Zhang, Bernard M. E. Moret