12774 search results - page 362 / 2555 » A Framework for Proof Systems |
174
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
199
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...
206
click to vote
SIGMETRICS
2005
ACM
16 years 12 days ago
2005
ACM
I/O consolidation is a growing trend in production environments due to the increasing complexity in tuning and managing storage systems. A consequence of this trend is the need to...
191
click to vote
DRM
2005
Springer
16 years 11 days ago
2005
Springer
Interoperability is currently seen as one of the most significant problems facing the digital rights management (DRM) industry. In this paper we consider the problem of interoper...
187
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
Quality control and resource optimization are challenging problems in peer-assisted video streaming systems, due to their large scales and unreliable peer behavior. Such systems a...