In this paper we study the weighted Bergman-Orlicz spaces Aα. Among other properties we get that Aα is a Banach space with the Luxemburg norm. We show that the set of analytic polynomials is dense in Aα. We also study compactness and continuity of the composition operator on Aα. Mathematics Subject Classification: 46E30, 47B33

The adaptive software paradigm supports the definition of software systems that are continuously adapted at run-time. An adaptation activates multiple features in the system, according to the current execution context (e.g., CPU consumption, available bandwidth). However, the underlying approaches used to implement adaptation are ordered, i.e., the order in which a set of features are turned on...

We are interested in the preservation of local properties of timed components during their integration in a timed system. Timed components are modeled as timed automata or timed automata with deadlines. Properties considered are all safety and liveness properties which can be expressed with the timed linear logic MITL (Metric Interval Linear Logic), as well as non-zenoness and deadlock-freedom....

We introduce an integral-type operator, denoted by P φ , on the space of holomorphic functions on the unit ball B ⊂ C, which is an extension of the product of composition and integral operators on the unit disk. The operator norm of P φ from the weighted Bergman space A p α B to the Bloch-type space Bμ B or the little Bloch-type space Bμ,0 B is calculated. The compactness of the operator is cha...

We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic object allocation, and dynamic dispatch. Our analysis is precise even in the presence of dynamic dispatch where the context-insensitive estimate on the number of targets is very large. This feature makes our analysis appropriate for programs that manipulate first-class functions (callbacks). We first...

We discuss the problem of defining a composition operator in behavior protocols in a way which would reflect false communication of the software components being composed. Here the issue is that the classical way in the ADLs supporting behavior description, such as Wright and TRACTA, is to employ a CSP-like parallel composition which inherently yields only ”successful traces”, ignoring nonaccep...

We discuss the problem of defining a composition operator in behavior protocols in a way which would reflect false communication of the software components being composed. Here the issue is that the classical way in the ADLs supporting behavior description, such as Wright and TRACTA, is to employ a CSP-like parallel composition which inherently yields only ”successful traces”, ignoring non-acce...

in this paper we study properties of symbols such that these belong to class of symbols sitting insidesm ρ,φ that we shall introduce as the following. so for because hypoelliptic pseudodifferential operatorsplays a key role in quantum mechanics we will investigate some properties of m−hypoelliptic pseudodifferential operators for which define base on this class of symbols. also we consider maxi...