3971 search results - page 618 / 795 » On the Use of Properties in Java Applications |
161
click to vote
SIGCOMM
2004
ACM
15 years 11 months ago
2004
ACM
We formulate the delay-tolerant networking routing problem, where messages are to be moved end-to-end across a connectivity graph that is time-varying but whose dynamics may be kn...
152
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
173
click to vote
FSE
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents algebraic attacks on SOBER-t32 and SOBER-t16 without stuttering. For unstuttered SOBER-t32, two different attacks are implemented. In the first attack, we obt...
171
click to vote
GRID
2004
Springer
15 years 11 months ago
2004
Springer
Much experience has been gained with the protocols and mechanisms needed for discovery and allocation of remote computational resources. However, the preparation of a remote compu...
176
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...