Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    College Park, Md. : American Institute of Physics (AIP)
    The Journal of Chemical Physics 117 (2002), S. 1994-2002 
    ISSN: 1089-7690
    Source: AIP Digital Archive
    Topics: Physics , Chemistry and Pharmacology
    Notes: A simple relation between magnetic shielding and magnetizability has been found. Its validity has been first shown by numerical calculations and than proven analytically. This fundamental relation shows that the magnetic shielding tensor integrated over a whole space is simply proportional to the magnetizability tensor with a constant factor equal to two-thirds of the vacuum permeability with a negative sign. © 2002 American Institute of Physics.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
  • 2
    ISSN: 1573-0409
    Keywords: enterprise modelling and integration ; enterprise engineering ; virtual enterprise ; extended enterprise ; formal semantics ; abstraction and composition
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract We study how composition of enterprise models can represent the behaviour of an extended/virtual enterprise. Each enterprise manufactures discrete-parts products and is modelled with three concepts: product-related resources, processes and business goals (customer and purchase orders). Composition makes possible two forms of interaction between enterprises: matching customer and purchase orders and sharing processes which cross organisational boundaries. Models and their composition are represented in a formal notation.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
  • 3
    ISSN: 1433-299X
    Keywords: Real-time program ; Specification ; Refinement ; Real-time scheduler ; Schedulability ; Feasibility
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract Assume that a real-time programP T consisting of a number of parallel processes is executed on a system having a setPr of processors which are shared between the processes by a real-time schedulerS T. Assume that PT must meet some timing deadlines. We show that such an implementation ofP T can be represented as a transformationL(P T) and that the deadlines ofP T will be met if they are satisfied by the timing properties of the transformed program. The condition for feasibility of a real-time program executed under a scheduler is formalized and rules are provided for verification. The schedulerS T can be specifiedgenerically and applied to different programs, making it unnecessary to introduce low-level operations such as scheduling primitives into the programming language. Thus real-time program specification and Schedulability can be considered in the same framework and the timing properties of a program can be determined at the specification level. By separating the specification of the scheduler from that of the program, the feasibility of an implementation can be proved by considering a scheduling policy rather than its implementation details.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...