9626 search results - page 1283 / 1926 » Invariant Based Programming |
174
Voted
CP
2003
Springer
16 years 15 days ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
178
click to vote
DSVIS
2003
Springer
16 years 15 days ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
213
Voted
EUROCRYPT
2003
Springer
16 years 14 days ago
2003
Springer
We introduce captcha, an automated test that humans can pass, but current computer programs can’t pass: any program that has high success over a captcha can be used to solve an u...
210
Voted
GRID
2003
Springer
16 years 14 days ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...
199
click to vote
ICALP
2003
Springer
16 years 14 days ago
2003
Springer
We consider requests for capacity in a given tree network T = (V, E) where each edge of the tree has some integer capacity ue. Each request consists of an integer demand df and a ...