12637 search results - page 157 / 2528 » Security for Extensible Systems |
ICFP
2003
ACM
14 years 9 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Classical formulations of data-assimilation perform poorly when forecast locations of weather systems are displaced from their observations. They compensate position erro...
IWPC
2006
IEEE
14 years 3 months ago
2006
IEEE
Software systems are often written in more than one programming language. During development, programmers need to understand not only the dependencies among code in a particular l...
EDOC
2003
IEEE
14 years 2 months ago
2003
IEEE
One of the most significant limitations of current middleware platforms, both commercial and research, is that they typically support only a small, pre-defined, set of fundamental...
MSR
2010
ACM
14 years 2 months ago
2010
ACM
Abstract—Reliably predicting software defects is one of software engineering’s holy grails. Researchers have devised and implemented a plethora of bug prediction approaches var...