2907 search results - page 454 / 582 » Presentations of Structures in Admissible Sets |
162
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
177
click to vote
ESORICS
2004
Springer
15 years 11 months ago
2004
Springer
We present and analyze portable access control mechanisms for large data repositories, in that the customized access policies are stored on a portable device (e.g., a smart card). ...
183
click to vote
ISSAC
2004
Springer
15 years 11 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
156
Voted
KI
2004
Springer
15 years 11 months ago
2004
Springer
We present a novel geometric model for robot mapping suited for robots equipped with a laser range finder. The geometric representation is based on shape. Cyclic ordered sets of p...
161
click to vote
MMB
2004
Springer
15 years 11 months ago
2004
Springer
A sensitivity analysis of a single-server, infinite-buffer queue with correlated arrivals and correlated service times is performed. We study and compare the isolated impact of (...