313 search results - page 63 / 63 » Formalizing the Halting Problem in a Constructive Type Theor... |
OOPSLA
2004
Springer
13 years 10 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
BIOINFORMATICS
2006
13 years 5 months ago
2006
Motivation: Intervention in a gene regulatory network is used to avoid undesirable states, such as those associated with a disease. Several types of intervention have been studied...
LICS
2008
IEEE
13 years 12 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...