15974 search results - page 2850 / 3195 » Object-Oriented Software Engineering |
155
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
146
click to vote
ISSTA
2007
ACM
15 years 6 months ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...
141
click to vote
AVI
2010
15 years 6 months ago
2010
To increase its credibility and preserve the trust of its readers, Wikipedia needs to ensure a good quality of its articles. To that end, it is critical for Wikipedia administrato...
175
click to vote
AVI
2010
15 years 6 months ago
2010
As our ability to measure the world around us improves, we are quickly generating massive quantities of high-dimensional, spatial-temporal data. In this paper, we concern ourselve...
151
click to vote
VAMOS
2010
Springer
15 years 6 months ago
2010
Springer
In its basic form, a variability model describes the variations among similar artifacts from a structural point of view. It does not capture any information about when these variat...