Results 1 - 10 of 1,753

Variants of the Basic Calculus of Constructions

by M. W. Bunder, Jonathan P. Seldin , 2004
"... In this paper, a number of different versions of the basic calculus of constructions that have appeared in the literature are compared and the exact relationships between them are determined. The biggest differences between versions are those between the original version of Coquand and the version i ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
In this paper, a number of different versions of the basic calculus of constructions that have appeared in the literature are compared and the exact relationships between them are determined. The biggest differences between versions are those between the original version of Coquand and the version

A Basic Calculus for Verifying Properties of Interacting Objects

by unknown authors
"... Abstract We introduce a basic calculus for expressing and proving properties of interacting objects. The objects considered have dynamic behaviour and are organized into object communities in a hierarchical way. After a detailed and formal presentation of the calculus, essential properties of the ca ..."
Abstract - Add to MetaCart
Abstract We introduce a basic calculus for expressing and proving properties of interacting objects. The objects considered have dynamic behaviour and are organized into object communities in a hierarchical way. After a detailed and formal presentation of the calculus, essential properties

REMARKS ON THE PAPER "BASIC CALCULUS OF VARIATIONS"

by J. M. Ball - PACIFIC JOURNAL OF MATHEMATICS VOL. 116, NO 1,1985 , 1985
"... We show that a condition studied in E. Silverman's paper is not, as claimed, necessary for lower semicontinuity of multiple integrals in the calculus of variations. ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
We show that a condition studied in E. Silverman's paper is not, as claimed, necessary for lower semicontinuity of multiple integrals in the calculus of variations.

A Basic Calculus for Modelling Service Level Agreements

by Rocco De Nicola, Gianluigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto - of Lecture Notes in Computer Science , 2005
"... Abstract. The definition of suitable abstractions and models for identifying, un-derstanding and managing Quality of Service (QoS) constraints is a challenging issue of the Service Oriented Computing paradigm. In this paper we introduce a process calculus where QoS attributes are first class objects ..."
Abstract - Cited by 3 (3 self) - Add to MetaCart
Abstract. The definition of suitable abstractions and models for identifying, un-derstanding and managing Quality of Service (QoS) constraints is a challenging issue of the Service Oriented Computing paradigm. In this paper we introduce a process calculus where QoS attributes are first class

A Basic Calculus for Verifying Properties of Synchronously Interacting Objects

by Abt Datenbanken, Stefan Conrad, Stefan Conrad, Informatik Abt Datenbanken , 1994
"... The present paper introduces a basic calculus for expressing and proving properties of synchronously interacting objects. The objects considered have dynamic behavior and are organized into object communities in a hierarchical way. We present syntax and semantics of the calculus in detail. Moreo ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
The present paper introduces a basic calculus for expressing and proving properties of synchronously interacting objects. The objects considered have dynamic behavior and are organized into object communities in a hierarchical way. We present syntax and semantics of the calculus in detail

An Object Calculus for Asynchronous Communication

by Kohei Honda, Mario Tokoro - Proceedings of the European Conference on Object-Oriented Programming (ECOOP , 1991
"... This paper presents a formal system based on the notion of objects and asynchronous communication. Built on Milner's work on ß-calculus, the communication primitive of the formal system is purely asynchronous, which makes it unique among various concurrency formalisms. Computationally this resu ..."
Abstract - Cited by 392 (35 self) - Add to MetaCart
this results in a consistent reduction of Milner's calculus, while retaining the same expressive power. Seen semantically asynchronous communication induces a surprisingly different framework where bisimulation is strictly more general than its synchronous counterpart. This paper shows basic construction

1 Analysis of Stochastic Service Guarantees in Communication Networks: A Basic Calculus

by Yuming Jiang
"... Abstract — A basic calculus is presented for stochastic service guarantee analysis in communication networks. Central to the calculus are two definitions, maximum-(virtual)-backlog-centric (m.b.c) stochastic arrival curve and stochastic service curve, which respectively generalize arrival curve and ..."
Abstract - Add to MetaCart
Abstract — A basic calculus is presented for stochastic service guarantee analysis in communication networks. Central to the calculus are two definitions, maximum-(virtual)-backlog-centric (m.b.c) stochastic arrival curve and stochastic service curve, which respectively generalize arrival curve

Programs with Common Sense

by John McCarthy - Semantic Information Processing , 1968
"... This paper will discuss programs to manipulate in a suitable formal lan- guage (most likely a part of the predicate calculus) common instrumental statements. The basic program will draw immediate conclusions from a list of premises. These conclusions will be either declarative or imperative sentence ..."
Abstract - Cited by 391 (12 self) - Add to MetaCart
This paper will discuss programs to manipulate in a suitable formal lan- guage (most likely a part of the predicate calculus) common instrumental statements. The basic program will draw immediate conclusions from a list of premises. These conclusions will be either declarative or imperative

Stochastic Network Calculus

by Yuming Jiang , 2008
"... A basic calculus is presented for stochastic service guaran-tee analysis in communication networks. Central to the cal-culus are two definitions, maximum-(virtual)-backlog-centric (m.b.c) stochastic arrival curve and stochastic service curve, which respectively generalize arrival curve and service c ..."
Abstract - Cited by 116 (23 self) - Add to MetaCart
A basic calculus is presented for stochastic service guaran-tee analysis in communication networks. Central to the cal-culus are two definitions, maximum-(virtual)-backlog-centric (m.b.c) stochastic arrival curve and stochastic service curve, which respectively generalize arrival curve and service

Calculus

by Chris Fox, Key Words
"... This paper introduces a notation for business process modelling and shows how it can be used for static ver-i cation of business processes under the assumption of single instance executions. Our approach is based on formalizing business process models as ownomial expressions [4]) and evaluating the ..."
Abstract - Add to MetaCart
them over boolean re-lations. Its main advantage is simplicity: it is based on evaluating algebraic expressions to boolean relations. But it is also more restrictive then other approaches because, basically, it can only indicate those input pat-terns that provided to a process can cause it to enter
Results 1 - 10 of 1,753