منابع مشابه
Quadratic choreographies
This paper addresses the classical and discrete Euler-Lagrange equations for systems of n particles interacting quadratically in R. By highlighting the role played by the center of mass of the particles, we solve the previous systems via the classical quadratic eigenvalue problem (QEP) and its discrete transcendental generalization. The roots of classical and discrete QEP being given, we state ...
متن کاملCompositional Choreographies
We propose a new programming model that supports a compositionality of choreographies. The key of our approach is the introduction of partial choreographies, which can mix global descriptions with communications among external peers. We prove that if two choreographies are composable, then the endpoints independently generated from each choreography are also composable, preserving their typabil...
متن کاملAmending Choreographies
Choreographies are global descriptions of system behaviors, from which the local behavior of each endpoint entity can be obtained automatically through projection. To guarantee that its projection is correct, i.e. it has the same behaviors of the original choreography, a choreography usually has to respect some coherency conditions. This restricts the set of choreographies that can be projected...
متن کاملBSopt Choreographies - Transforming Global Choreographies into Workflow Deployment Artifacts
This thesis covers the transformation of interorganizational business processes in the area of business-to-business (B2B) electronic commerce. It builds upon the approach devised as part of the Business Semantics on top of Process Technology (BSOPT) project [2]. BSopt aims to integrate management-, administrationand IT perspectives in B2B collaborations as inspired by the Open-edi reference mod...
متن کاملScripting Choreographies
We present a system for the simple and fast creation of character animation which is used within an augmented reality environment. Instead of using fixed sequences of animation, the motion of the characters are created by subtasks which are able to change the motion dynamically according to the environment. Dynamic motion models are used to produce the animation data. These dynamic motion model...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Numerical Mathematics
سال: 2014
ISSN: 0168-9274
DOI: 10.1016/j.apnum.2013.03.010