133 search results - page 11 / 27 » Inference of Session Types From Control Flow |
ARTQOS
2003
Springer
13 years 10 months ago
2003
Springer
We study what kind of differentiation can be achieved using DiffServ without admission control and using a relative services approach, i.e. the rate of the flow should be in propor...
PLDI
2009
ACM
13 years 11 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
SFP
2004
13 years 8 months ago
2004
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
BIRD
2008
Springer
13 years 8 months ago
2008
Springer
We introduce a new type of workflow design system called e-BioFlow and illustrate it by means of a simple sequence alignment workflow. E-BioFlow, intended to model advanced scienti...
POPL
2012
ACM
12 years 2 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...