60,190 Hits in 3.5 sec

Income/Wf — A Petri Net Based Approach to Workflow Management [chapter]

Andreas Oberweis, Roland Schätzle, Wolffried Stucky, Wolfgang Weitz, Gabriele Zimmermann
1997 Wirtschaftsinformatik '97  
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

Page 602 of Mathematical Reviews Vol. 57, Issue 2 [page]

1979 Mathematical Reviews  
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.  ... 

Page 7161 of Mathematical Reviews Vol. , Issue 95m [page]

1995 Mathematical Reviews  
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.)  ... 

A Proof Slicing Framework for Program Verification [chapter]

Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin
2013 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

Page 3224 of Mathematical Reviews Vol. , Issue 86g [page]

1986 Mathematical Reviews  
(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.  ... 

Page 1791 of Mathematical Reviews Vol. 52, Issue 5 [page]

1976 Mathematical Reviews  
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 uniform approach to logic programming semantics [article]

Pascal Hitzler and Matthias Wendt (Artificial Intelligence Institute, Dresden University of Technology, Germany)
2003 arXiv   pre-print
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

Page 1211 of Mathematical Reviews Vol. , Issue 83c [page]

1983 Mathematical Reviews  
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.  ... 

Recursive Programs as Definitions in First-Order Logic

Robert Cartwright
1984 SIAM journal on computing (Print)  
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

An Iterative Scheme for the Power-Flow Analysis of Distribution Networks based on Decoupled Circuit Equivalents in the Phasor Domain

Zain Anwer Memon, Riccardo Trinchero, Yanzhao Xie, Flavio G. Canavero, Igor S. Stievano
2020 Energies  
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

Algebraic semantics of recursive flowchart schemes

Hartmut Schmeck
1983 Information and Control  
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

Book announcements

1977 Discrete Mathematics  
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

Ω-Arithmetization: A Discrete Multi-resolution Representation of Real Functions [chapter]

Agathe Chollet, Guy Wallet, Laurent Fuchs, Eric Andres, Gaëlle Largeteau-Skapin
2009 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

Automatic autoprojection of higher order recursive equations [chapter]

Anders Bondorf
1990 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

Page 3810 of Mathematical Reviews Vol. , Issue 81I [page]

1981 Mathematical Reviews  
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