7961 search results - page 1119 / 1593 » Input-Output Model Programs |
189
click to vote
ICALP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
163
click to vote
ICTCS
2007
Springer
16 years 20 days ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
158
click to vote
SEKE
2007
Springer
16 years 19 days ago
2007
Springer
We define adaptability as the capacity of software in adjusting its behavior in response to changing conditions. To list just a few examples, adaptability is important in pervasiv...
173
click to vote
ASPLOS
2006
ACM
16 years 15 days ago
2006
ACM
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...
171
click to vote
CSB
2005
IEEE
16 years 4 days ago
2005
IEEE
HIV-1-associated dementia (HAD) is the most devastating disease happened in the central nervous system of AIDS patients. Neuronal damage, the early indicator of HAD, under differe...