7121 search results - page 170 / 1425 » Functions as Session-Typed Processes |
151
click to vote
CCR
1998
15 years 6 months ago
1998
: This paper briefly summarizes the work towards the final version of ‘Distributed Transaction Processing’ (OSI TP). Several well-known optimizations of the presumed abort prot...
141
click to vote
KBS
2002
15 years 6 months ago
2002
In this paper we present an overview of SHAMASH, a process modelling tool for business process reengineering. The main features that differentiate it from most current related too...
153
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
We argue that programming high-end stream-processing applications requires a form of coordination language that enables the designer to represent interactions between stream-proce...
247
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
Detecting instances of unknown categories is an important task for a multitude of problems such as object recognition, event detection, and defect localization. This paper investig...
239
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...