28 search results - page 6 / 6 » Supervisory control of modular systems with global specifica... |
107
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
101
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
109
click to vote
LRE
2006
15 years 1 months ago
2006
A lack of surveillance system infrastructure in the Asia-Pacific region is seen as hindering the global control of rapidly spreading infectious diseases such as the recent avian H5...