133 search results - page 21 / 27 » Inference of Session Types From Control Flow |
WWW
2004
ACM
14 years 7 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
ICCS
2004
Springer
14 years 2 days ago
2004
Springer
QuickSet [6] is a multimodal system that gives users the capability to create and control map-based collaborative interactive simulations by supporting the simultaneous input from ...
ICEBE
2005
IEEE
14 years 9 days ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
ECOWS
2009
Springer
13 years 10 months ago
2009
Springer
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
GECCO
2004
Springer
14 years 3 days ago
2004
Springer
A successful industrial application of a novel type biomass estimator based on Genetic Programming (GP) is described in the paper. The biomass is inferred from other available meas...