Sciweavers

89 search results - page 4 / 18
» The Induced Generalized OWA Operator
Sort
View
EUROSYS
2006
ACM
14 years 4 months ago
A quantitative analysis of aspects in the eCos kernel
Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of AspectOriented Programming (AOP) for the devel...
Daniel Lohmann, Fabian Scheler, Reinhard Tartler, ...
JCPHY
2011
79views more  JCPHY 2011»
12 years 10 months ago
Stochastic Eulerian Lagrangian methods for fluid-structure interactions with thermal fluctuations
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...
Paul J. Atzberger
AUTOMATICA
2008
60views more  AUTOMATICA 2008»
13 years 7 months ago
Control of nonstationary LPV systems
This paper considers control of nonstationary linear parameter-varying systems, and is motivated by interest in the control of nonlinear systems along prespecified trajectories. I...
Mazen Farhood, Geir E. Dullerud
ENTCS
2002
66views more  ENTCS 2002»
13 years 7 months ago
Rule Formats for Timed Processes
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...
Marco Kick
TLCA
2005
Springer
14 years 28 days ago
Continuity and Discontinuity in Lambda Calculus
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
Paula Severi, Fer-Jan de Vries