4966 search results - page 85 / 994 » its 2010 |
159
click to vote
IJBIS
2010
15 years 3 months ago
2010
This paper considers conceptual and contextual issues relating to the problem of developing systems models capable of representing knowable and unknowable information requirements...
144
click to vote
IJIIDS
2010
15 years 3 months ago
2010
: In order to cope with the requirements of availability-critical internet services, reliable server pooling (RSerPool) has been developed as the new IETF standard for a lightweigh...
178
click to vote
IJRR
2010
15 years 3 months ago
2010
This paper presents the minimum-time sequences of rotations and translations that connect two configurations of a rigid body in the plane. The configuration of the body is its pos...
151
click to vote
DCG
2010
15 years 1 months ago
2010
Abstract The purpose of this paper is to establish an inequality connecting the lattice point enumerator of a 0-symmetric convex body with its successive minima. To this end, we in...
169
click to vote
ENTCS
2010
15 years 1 months ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...