Sciweavers

3689 search results - page 67 / 738

» A Language with Distributed Scope

17

EDOC
2006
IEEE

99views Distributed And Parallel Com...» more EDOC 2006»

A Technique and Markup Language for Business Process Automation

14 years 4 months ago

A Technique and Markup Language for Business Process Automation

Download www.pms.ifi.lmu.de

Kuldar Taveter

claim paper

Read More »

23

ISORC
2006
IEEE

109views Distributed And Parallel Com...» more ISORC 2006»

Towards a Real-Time Implementation of the ECMA Common Language Infrastructure

14 years 4 months ago

Towards a Real-Time Implementation of the ECMA Common Language Infrastructure

Download www.dcl.hpi.uni-potsdam.de

Martin von Löwis, Andreas Rasche

claim paper

Read More »

25

CCGRID
2005
IEEE

113views Distributed And Parallel Com...» more CCGRID 2005»

Specification of grid workflow applications with AGWL: an Abstract Grid Workflow Language

14 years 3 months ago

Specification of grid workflow applications with AGWL: an Abstract Grid Workflow Language

Download www.dps.uibk.ac.at

Thomas Fahringer, Jun Qin, S. Hainzer

claim paper

Read More »

25

EDOC
2005
IEEE

77views Distributed And Parallel Com...» more EDOC 2005»

Dealing with contract violations: formalism and domain specific language

14 years 3 months ago

Dealing with contract violations: formalism and domain specific language

Download espace.uq.edu.au

Guido Governatori, Zoran Milosevic

claim paper

Read More »

36

POPL
2010
ACM

251views Programming Languages» more POPL 2010»

Nominal System T

14 years 7 months ago

Nominal System T

Download www.cl.cam.ac.uk

This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...

Andrew M. Pitts

claim paper

Read More »

« Prev « First page 67 / 738 Last » Next »