Sciweavers

2525 search results - page 105 / 505
» A Framework for Semantic Gossiping
Sort
View
OTM
2005
Springer
15 years 12 months ago
Semantic Transformation of Web Services
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
David Bell, Sergio de Cesare, Mark Lycett
CL
2007
Springer
15 years 6 months ago
Skeleton-based parallel programming: Functional and parallel semantics in a single shot
Semanticsofskeleton-basedparallelprogramminglanguagescomesusuallyastwodistinctitems:afunctionalsemantics,modeling the function computed by the skeleton program, and a parallel sem...
Marco Aldinucci, Marco Danelutto
SCCC
1998
IEEE
15 years 10 months ago
Tool Support for Helping the Use of Frameworks
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
Ricardo Pereira e Silva, Roberto Tom Price
ACSC
2004
IEEE
15 years 10 months ago
An Approach to Specifying Software Frameworks
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
Leesa Murray, David A. Carrington, Paul A. Stroope...
FSTTCS
2005
Springer
15 years 12 months ago
Quantitative Models and Implicit Complexity
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
Ugo Dal Lago, Martin Hofmann