Sciweavers

217 search results - page 13 / 44
» Towards a Mathematical Operational Semantics
Sort
View
JSW
2007
173views more  JSW 2007»
14 years 11 months ago
Towards Semantics Driven Generation of Executable Web Services Compositions
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...
Giusy Di Lorenzo, Nicola Mazzocca, Francesco Mosca...
MFPS
1989
15 years 3 months ago
Operations on Records
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
Luca Cardelli, John C. Mitchell
DS
2001
158views Database» more  DS 2001»
15 years 1 months ago
Towards A Semantic Framework for Service Description
The rapid development of the Internet and of distributed computing has led to a proliferation of online service providers such as digital libraries, web information sources, electr...
Marlon Dumas, Justin O'Sullivan, Mitra Heravizadeh...
PDS
1996
15 years 1 months ago
Towards a theory of shared data in distributed systems
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
Simon A. Dobson, Christopher P. Wadsworth
ISEMANTICS
2010
14 years 6 months ago
Towards the formalization of interaction semantics
With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and su...
Irene Celino, Francesco Corcoglioniti