13489 search results - page 292 / 2698 » Operating System |
179
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
Previous research has demonstrated that space can be saved in a MultiMedia DataBase Management System (MMDBMS) by storing some of the data items virtually, meaning they are stored...
168
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
169
click to vote
AAI
2010
15 years 1 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
188
click to vote
FPL
2009
Springer
15 years 10 months ago
2009
Springer
Preemptive multitasking, a popular technique for timesharing of computational resources in software-based systems, faces considerable difficulties when applied to partially reconf...
145
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
A microsurgical telerobot system has been developed based on the results of the operation task analysis. The telerobot system is composed of a 6-dof parallel micromanipulator atta...