A 2800-year palaeoclimatic record from Tore Hill Moss, Strathspey, Scotland: the need for a multi-proxy approach to peat-based climate reconstructions
A Blundell, K Barber - Quaternary Science Reviews, 2005 - Elsevier
Analyses of plant macrofossils, testate amoebae and humification have been carried out on
a 2800-year core from Tore Hill Moss, a raised bog in the Strathspey region of Scotland. All …
a 2800-year core from Tore Hill Moss, a raised bog in the Strathspey region of Scotland. All …
A pi-calculus based semantics for WS-BPEL
Recently, the term Web services orchestration has been introduced to address some issues
related to Web services composition, that is the way of defining a complex service out of …
related to Web services composition, that is the way of defining a complex service out of …
Engineering of software-intensive systems: state of the art and research challenges
M Hölzl, A Rauschmayer, M Wirsing - Software-Intensive Systems and …, 2008 - Springer
Software-intensive systems become more and more important in our everyday lives. But
their increasing complexity makes it difficult to develop and maintain them. This chapter …
their increasing complexity makes it difficult to develop and maintain them. This chapter …
A calculus for orchestration of web services
A Lapadula, R Pugliese, F Tiezzi - European Symposium on Programming, 2007 - Springer
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational
language for SOC whose design has been influenced by WS-BPEL, the de facto standard …
language for SOC whose design has been influenced by WS-BPEL, the de facto standard …
Choreography and orchestration: A synergic approach for system design
Choreography and orchestration languages deal with business processes design and
specification. Referring to Web Services technology, the most credited proposals are WS …
specification. Referring to Web Services technology, the most credited proposals are WS …
A trace semantics for long-running transactions
M Butler, T Hoare, C Ferreira - … Sequential Processes. The First 25 Years …, 2005 - Springer
A long-running transaction is an interactive component of a distributed system which must
be executed as if it were a single atomic action. In principle, it should not be interrupted or …
be executed as if it were a single atomic action. In principle, it should not be interrupted or …
A formal approach to service component architecture
We report on a formal framework being developed within the SENSORIA project for
supporting service-oriented modelling at high levels of abstraction, ie independently of the …
supporting service-oriented modelling at high levels of abstraction, ie independently of the …
Gender-from-iris or gender-from-mascara?
A Kuehlkamp, B Becker… - 2017 IEEE winter …, 2017 - ieeexplore.ieee.org
Predicting a person's gender based on the iris texture has been explored by several
researchers. This paper considers several dimensions of experimental work on this problem …
researchers. This paper considers several dimensions of experimental work on this problem …
Concurrent flexible reversibility
Concurrent reversibility has been studied in different areas, such as biological or
dependable distributed systems. However, only “rigid” reversibility has been considered …
dependable distributed systems. However, only “rigid” reversibility has been considered …
Disciplining orchestration and conversation in service-oriented computing
We give a formal account of a calculus for modeling service-based systems, suitable to
describe both service composition (orchestration) and the protocol that services run when …
describe both service composition (orchestration) and the protocol that services run when …