133 search results - page 12 / 27 » Inference of Session Types From Control Flow |
VISUALIZATION
1992
IEEE
13 years 10 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...
BMCBI
2011
13 years 1 months ago
2011
Background: Large databases of genetic data are often biased in their representation. Thus, selection of genetic data with desired properties, such as evolutionary representation ...
SIGIR
2010
ACM
13 years 10 months ago
2010
ACM
Dwell time as a user behavior has been found in previous studies to be an unreliable predictor of document usefulness, with contextual factors such as the user’s task needing to...
WSC
2000
13 years 8 months ago
2000
This paper presents a logistic algorithm that improves traffic conditions in a network-like automated material handling system (AMHS). The algorithm uses a lookahead procedure and...