2497 search results - page 259 / 500 » Requirements for models of achievable routing |
180
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
Due to the large difference between seek time and transfer time in current disk technology, it is advantageous to perform large I/O using a single sequential access rather than mu...
196
click to vote
GRAPHICSINTERFACE
2000
15 years 8 months ago
2000
We introduce a new metaphor for learning spatial relations--the 3D puzzle. With this metaphor users learn spatial relations by assembling a geometric model themselves. For this pu...
185
click to vote
IMCSIT
2010
15 years 1 months ago
2010
In this paper the development of a prototypic mobile voice control for navigating autonomous robots within a multi robot system is described. As basis for the voice control a hidde...
141
click to vote
SEW
2006
IEEE
16 years 21 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
167
Voted
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...