Sciweavers

1284 search results - page 101 / 257
» Abstract Processes in Orchestration Languages
Sort
View
UM
2005
Springer
16 years 8 days ago
A Decomposition Model for the Layered Evaluation of Interactive Adaptive Systems
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
Alex Paramythis, Stephan Weibelzahl
IFIPTCS
2000
15 years 10 months ago
An Asynchronous, Distributed Implementation of Mobile Ambients
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
Cédric Fournet, Jean-Jacques Lévy, A...
FORTE
2004
15 years 8 months ago
Composing Event Constraints in State-Based Specification
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
Tommaso Bolognesi
TSD
2009
Springer
16 years 1 months ago
An Analysis of the Impact of Ambiguity on Automatic Humour Recognition
Abstract. One of the most amazing characteristics that defines the human being is humour. Its analysis implies a set of subjective and fuzzy factors, such as the linguistic, psych...
Antonio Reyes, Davide Buscaldi, Paolo Rosso
BPM
2006
Springer
149views Business» more  BPM 2006»
15 years 8 months ago
Verifying BPEL Workflows Under Authorisation Constraints
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishn...