A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Important requirements for INCOME/WF are easily adjustable workflow schemes and support for unstructured or weakly structured activities. ... Flexibility of process support is a key requirement for current and future business applications. ... Acknowledgement We wish to thank our former colleagues Peter Jaeschke, Volker Sänger, and Thomas Wendel for valuable discussions and many useful comments on earlier versions of this paper as well as for ...doi:10.1007/978-3-642-57737-6_32 fatcat:7k5p7nbzqnfl3etlx2kwxazgyi
Data-flow properties are studied through ‘‘weakly interpreted program-schemes” (WPS). A WPS is a labelled directed graph with labels representing the dependency relations. ... Bachmann, Peter 4565 Data-flow-analysis in weakly interpreted mes. Information processing 77 (Proc. IFIP Congr., Toronto, Ont., 1977), pp. 63-68. IFIP Congr. ...
Summary: “Recently a new constructive logic of program schemes has been developed by N. N. Nepeivoda [Vychisl. Sistemy No. 129, Teor. ... (I13-reflecting ordinals may be regarded as the recursion-theoretic analogue of weakly compact cardinals.) ...
Lecture Notes in Computer Science
As a further improvement, we designed an annotation scheme that captures constraint linking properties, that is, variable-sharing dependencies between interpreted atoms (i.e., constraints) of a proof obligation ... One important application area is that of program verification, whereby a typical approach is to employ a program verifier that processes the code of interest, annotated with pre/post-conditions, in order ... Annotation Scheme As mentioned in Sec. 3, the target of our framework is a first-order language with equality and interpreted function symbols. ...doi:10.1007/978-3-642-41202-8_5 fatcat:gajmswjbondm5en4bdnvnceeom
(I-GENO) Top-down semantic analysis. Comput. J. 27 (1984), no. 3, 233-237. ... Author summary: “The classes of typed and type-free lambda- schemes are studied with respect to their use as control structures of programming languages. ...
In certain special cases of weakly nonlinear internal gravitational waves, as well as in the case of weakly nonlinear barotropic non- divergent waves of Rossby type, the conditions for instability are ... As an effective method of interpreting gravitational and magnetic anomalies, the author uses analytic continuation from a horizontal straight line to a curved surface with the help of curvilinear spectral ...
A novel characterization of the weakly perfect model semantics will also be provided. ... Part of the theory of logic programming and nonmonotonic reasoning concerns the study of fixed-point semantics for these paradigms. ... logic programs to the disjunctive case. ...arXiv:cs/0210027v2 fatcat:6wweh6zd2ngddmxm75jrtze3kq
The principal ideas of this approach are illustrated on the example of LISP.” Bachmann, Peter 83c:68012 Analysis of weakly interpreted program schemes. (German and Russian summaries) Elektron. ... The goal is to derive outer properties of a program scheme from the inner properties given by a weak interpretation. For this, the fixpoint approach is used. ...
This axiom scheme serves as the fundamental "proof rule" of first order programming logic. ... The major limitation of first order programming logic is that every fixed-point of the functional corresponding to a recursive program is an acceptable interpretation for the program. ... the corollary and generalization of the theorem. ...doi:10.1137/0213026 fatcat:siw3ngdcwjaqzghovtrolkrgli
The above circuit interpretation can be solved directly in the frequency-domain via the combination of a standard tool for circuit analysis with an iterative numerical scheme, providing directly the steady-state ... The proposed simulation approach relies on a suitable interpretation of the power network in terms of a nonlinear circuit in the phasor domain. ... Without loss of generality, the numerical analysis proposed hereafter focuses on a fixed-point iteration scheme. ...doi:10.3390/en13020386 fatcat:um4soib72ngatovoo5ylilbtlu
It is shown how to obtain interpretations of recursive flowchart schemes in the same mathematically elegant way as is well known in the case of recursive tree schemes. ... The results directly lead to algebraic fixed point semantics of recursive flowchart schemes. ... Gallier also defines the semantics of recursive program schemes corresponding to programs with recursive procedures, but his results depend on his specific choice of operations and predicates, and he defines ...doi:10.1016/s0019-9958(83)80032-1 fatcat:ye2sqm6th5eslnh47g66m5lowi
Models of Shock Structure. ltersti:fe Schemes for Three Dimensional Analysis. Choice of Coordinates and Conformal Mapping. Two Dl!mensional Analysis with a Turbulent Boundary Layer Correct;ion. ... Evaluation of Analysis Methods. Comparison of * (Spriflger-Verlag, Bertin. 19753 v f 2% pp. ...doi:10.1016/0012-365x(77)90015-2 fatcat:dikvo2vidfabxoixyesdwnvkla
Lecture Notes in Computer Science
Multi-resolution analysis and numerical precisions problems are very important subjects in fields like image analysis or geometrical modeling. ... The constructive properties of the underlying theory leads to algorithms which can be exactly translated into functional computer programs without uncontrolled numerical error. ... Acknowledgement to Christophe Saint-Jean for his precious programming help. ...doi:10.1007/978-3-642-10210-3_25 fatcat:msdr3ghjtjbnrizzqhd5rn4bf4
Lecture Notes in Computer Science
In this paper we describe an implemented automatic autoprojector, Similix-2, that handles a higher order subset of the Scheme language [Rees & Clinger 86], essentially weakly (dynamically) typed, statically ... The work was partly supported by the Danish ~h Academy. grams written in the Scheme subset. The analysis requires no type information. ... Acknowledgements This work has been carried out within the Similix project, a joint work of Olivier Danvy and the author. I am most grateful to Olivier for his many comments and proposals. ...doi:10.1007/3-540-52592-0_56 fatcat:xpawd7jw4jfshgcncmom3eao5m
Under a strategy-proof decision scheme, for every individual, the strategy of revealing one’s sincere preference weakly dominates every other strategy. ... ., decision schemes), they establish the probability with which each alterna- 81i:90020 ECONOMICS, OPERATIONS RESEARCH, PROGRAMMING, GAMES tive is to be chosen, given the preferences expressed by the individ ...
« Previous Showing results 1 — 15 out of 60,190 results