29143 search results - page 5378 / 5829 » A Sortation System Model |
164
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
134
click to vote
BSL
2007
15 years 6 months ago
2007
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...
171
click to vote
CAD
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a global optimization operator for arbitrary meshes. The global optimization operator is composed of two main terms, one part is the global Laplacian operator ...
178
click to vote
CGF
2007
15 years 6 months ago
2007
We introduce an algorithm for the automatic computation of global parameterizations on arbitrary simplicial 2manifolds, whose parameter lines are guided by a given frame field, f...
161
click to vote
IJSN
2008
15 years 6 months ago
2008
: In the paper, we propose an efficient two-factor localised authentication scheme for inter-domain handover and roaming in IEEE 802.11 based service-oriented wireless mesh network...