2206 search results - page 390 / 442 » Software Engineering and Modeling Education: Problems and So... |
MSR
2010
ACM
15 years 4 months ago
2010
ACM
—FLOSS distributions like RedHat and Ubuntu require a lot more complex infrastructures than most other FLOSS projects. In the case of community-driven distributions like Debian, ...
150
click to vote
OOPSLA
2001
Springer
15 years 4 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
102
click to vote
EJC
2010
14 years 6 months ago
2010
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
199
click to vote
POPL
2005
ACM
16 years 2 hour ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...