6527 search results - page 25 / 1306 » On Typing Information Flow |
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
SIAMAM
2000
13 years 7 months ago
2000
We study the limit as n 0 of the nonnegative, self-similar source-type solutions of the thin film equation ut + (unuxxx)x = 0. We obtain a unique limiting function u, which is a s...
TOPLAS
1998
13 years 7 months ago
1998
DEBS
2009
ACM
14 years 2 months ago
2009
ACM
Complex middleware frameworks are made out of interacting components which may include bugs. These frameworks are often extended to provide additional features by thirdparty exten...
ICSM
1994
IEEE
13 years 11 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...