Sciweavers

5623 search results - page 959 / 1125
» Incremental Mechanism Design
Sort
View
RAID
2010
Springer
15 years 5 months ago
HyperCheck: A Hardware-Assisted Integrity Monitor
Abstract. Over the past few years, virtualization has been employed to environments ranging from densely populated cloud computing clusters to home desktop computers. Security rese...
Jiang Wang, Angelos Stavrou, Anup K. Ghosh
RTAS
2010
IEEE
15 years 5 months ago
Physicalnet: A Generic Framework for Managing and Programming Across Pervasive Computing Networks
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
Pascal Vicaire, Zhiheng Xie, Enamul Hoque, John A....
SERA
2010
Springer
15 years 5 months ago
The Software Modeling and Implementation of Reliable Server Pooling and RSPLIB
Abstract—With the growing complexity of software applications, there is an increasing demand for solutions to distribute workload into server pools. Grid Computing provides power...
Xing Zhou, Thomas Dreibholz, Martin Becke, Jobin P...
SOCROB
2010
120views Robotics» more  SOCROB 2010»
15 years 5 months ago
STB: Intentional Stance Grounded Child-Dependent Robot
This paper reports on a children-dependent robotic approach to establish asynchronous child assistance with a social rapport network for the purpose of collecting trash from a publ...
Yuto Yamaji, Taisuke Miyake, Yuta Yoshiike, P. Rav...
SOSYM
2010
107views more  SOSYM 2010»
15 years 5 months ago
A UML/OCL framework for the analysis of graph transformation rules
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
Jordi Cabot, Robert Clarisó, Esther Guerra,...