945 search results - page 124 / 189 » Evolving Symbolic Controllers |
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
SCN
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In the past thirty years, cryptology has evolved from a secret art to a modern science. Weaker algorithms and algorithms with short keys are disappearing, political contr...
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
A typical software development team leaves behind a large amount of information. This information takes different forms, such as mail messages, software releases, version control ...
IWPSE
2003
IEEE
15 years 3 months ago
2003
IEEE
Avoiding architectural erosion helps extend the lifetime of an evolving software system. Erosion can be reduced by ensuring that (i) developers share a good understanding of a sys...
DPPI
2003
ACM
15 years 3 months ago
2003
ACM
When new technology is adopted to everyday life, existing patterns of behavior relevant to the application are transferred to this new media. In this process, some things will als...