12637 search results - page 157 / 2528 » Security for Extensible Systems |
102
click to vote
ICFP
2003
ACM
16 years 2 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...
105
Voted
ICCS
2007
Springer
15 years 8 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...
117
Voted
IWPC
2006
IEEE
15 years 8 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...
121
click to vote
EDOC
2003
IEEE
15 years 7 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...
101
Voted
MSR
2010
ACM
15 years 7 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...