3008 search results - page 436 / 602 » Mechanisms for Importing Modules |
162
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Super solutions are a mechanism to provide robustness to constraint programs [10]. They are solutions in which, if a small number of variables lose their values, we are guaranteed ...
151
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Given the importance of encapsulation to object-oriented programming, it is surprising to note that mainstream object-oriented languages offer only limited and fixed ways of enca...
148
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
152
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
The SOAP protocol underpins Web services as the standard mechanism for exchanging information in a distributed environment. The XML-based protocol offers advantages including exte...
159
click to vote
IWMM
2004
Springer
15 years 11 months ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...