Results 231 to 240 of about 91,863 (269)
Some of the next articles are maybe not open access.
Xi-Calculus: A Calculus for Service Interactions
2010 IEEE International Conference on Services Computing, 2010The paper proposes xi-calculus, a formalism for describing interactions in Service Oriented Architectures. The calculus treats interactions between services as a core concept to capture important architectural characteristics of the system. The focus of x-calculus is on the higher level abstraction rather than on the lower level details like parameter ...
Vineet Rajani +2 more
openaire +1 more source
A Calculus taken out of the Calculus
2004Ein Kalkul ist ein System von Anweisungen/Konstniktionen und Ubereinkunften, das geregelte Austauschprozesse von Hinweisformen, d.h. von Ausdrucken erlaubt. Der Kalkul, aus dem in diesem Kapitel ein weiterer Kalkul ‚herausgenommen‘ wird, ist die Primare Arithmetik.
openaire +1 more source
Studia Logica, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Natural Computing, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bogdan Aman, Gabriel Ciobanu
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bogdan Aman, Gabriel Ciobanu
openaire +2 more sources
Mathematics of the USSR-Izvestiya, 1968
We consider extensions of the intuitionist and minimal propositional calculi effected by the addition of a single formula as a new axiom.
openaire +1 more source
We consider extensions of the intuitionist and minimal propositional calculi effected by the addition of a single formula as a new axiom.
openaire +1 more source
2013
A main challenge of programming component-based software is to ensure that the components continue to behave in a reasonable manner even when communication becomes unreliable. We propose a process calculus, the Quality Calculus, for programming software components where it becomes natural to plan for default behaviour in case the ideal behaviour fails ...
Hanne Riis Nielson +2 more
openaire +1 more source
A main challenge of programming component-based software is to ensure that the components continue to behave in a reasonable manner even when communication becomes unreliable. We propose a process calculus, the Quality Calculus, for programming software components where it becomes natural to plan for default behaviour in case the ideal behaviour fails ...
Hanne Riis Nielson +2 more
openaire +1 more source
1976
Nets of conditions and events (‘special’ Petri nets) are widely used models of dynamic systems. They represent the causal structure of the concurrent operation and co-operation of the components of a system. In this paper we introduce a net theoretic version of the first-order predicate calculus. Its purpose is to offer a formal language for expressing
Hartmann J. Genrich +1 more
openaire +1 more source
Nets of conditions and events (‘special’ Petri nets) are widely used models of dynamic systems. They represent the causal structure of the concurrent operation and co-operation of the components of a system. In this paper we introduce a net theoretic version of the first-order predicate calculus. Its purpose is to offer a formal language for expressing
Hartmann J. Genrich +1 more
openaire +1 more source
ACM Transactions on Programming Languages and Systems, 2004
There is a significant class of operations such as mapping that are common to all data structures. The goal of generic programming is to support these operations on arbitrary data types without having to recode for each new type. The pattern calculus and combinatory type system reach this goal by representing each data structure as a combination of ...
openaire +1 more source
There is a significant class of operations such as mapping that are common to all data structures. The goal of generic programming is to support these operations on arbitrary data types without having to recode for each new type. The pattern calculus and combinatory type system reach this goal by representing each data structure as a combination of ...
openaire +1 more source
The Hastings Center Report, 1990
The Calculus of Consent Nancy Cruzan's personal tragedy threatens to become a national one. Embracing so many fundamental and symbolic aspects of life, the question of how she dies has understandably provoked profound and diverse responses. Various arguments have sought to convince the U.S.
openaire +2 more sources
The Calculus of Consent Nancy Cruzan's personal tragedy threatens to become a national one. Embracing so many fundamental and symbolic aspects of life, the question of how she dies has understandably provoked profound and diverse responses. Various arguments have sought to convince the U.S.
openaire +2 more sources
Urinary Calculus and Salivary Calculus
The Journal of Periodontology, 1966I W, Scopp, F H, Morgan, J J, Dooner
openaire +2 more sources