We solve the problem of localizing and tracking household objects using a depth-camera sensor network. We design and implement Kinsight that tracks household objects indirectly - by tracking human figures, and detecti...
详细信息
ISBN:
(纸本)9780769547077
We solve the problem of localizing and tracking household objects using a depth-camera sensor network. We design and implement Kinsight that tracks household objects indirectly - by tracking human figures, and detecting and recognizing objects from human-object interactions. We devise two novel algorithms: (1) Depth Sweep - that uses depth information to efficiently extract objects from an image, and (2) Context orientedobject Recognition - that uses location history and activity context along with an RGB image to recognize objects at home. We thoroughly evaluate Kinsight's performance with a rich set of controlled experiments. We also deploy Kinsight in real-world scenarios and show that it achieves an average localization error of about 13 cm.
Cyber-Physical Systems (CPS) provides a smart infrastructure connecting abstract computational artifacts withthe physical world. this paper presents some challenges for developing distributedreal-time Cyber-Physical...
详细信息
System execution traces are useful artifacts for validating distributed system quality-of-service (QoS) properties, such as end-to-end response time, throughput, and service time. With proper planning during developme...
详细信息
Java is a programming technology which has been extended in order to provide the timeliness required by real-time systems (e.g., RTSJ). there are two RTSJ-based profiles: DRTSJ supporting distributedreal-time Java sy...
详细信息
Context situation, which means a snapshot of the status of the real world, is formed by integrating a large amount of contexts collected from various resources. How to get the context situation and use the situation t...
详细信息
the proceedings contain 64 papers. the topics discussed include: dynamic policy-driven quality of service in service-oriented systems;a scheme for reliable real-time messaging with bounded delays;energy-saving mechani...
ISBN:
(纸本)9780769540375
the proceedings contain 64 papers. the topics discussed include: dynamic policy-driven quality of service in service-oriented systems;a scheme for reliable real-time messaging with bounded delays;energy-saving mechanisms in the time-triggered architecture;model-based programming of modular robots;design and performance evaluation of binary code packing for protecting embedded software against reverse engineering;architectural and behavioral modeling with AADL for fault tolerant embedded systems;model-driven development of a web service-oriented architecture and security policies;real-time-component based software architecture for QoS-adaptive networked multimedia applications;flexible resource management for self-x systems: an evaluation;real-time distribution of time-dependant tasks in heterogeneous environments;towards a framework for self-adaptive reliable network services in highly-uncertain environments;and policy-based reprogramming for wireless sensor networks.
the proceedings contain 64 papers. the topics discussed include: dynamic policy-driven quality of service in service-oriented systems;a scheme for reliable real-time messaging with bounded delays;energy-saving mechani...
ISBN:
(纸本)9780769540382
the proceedings contain 64 papers. the topics discussed include: dynamic policy-driven quality of service in service-oriented systems;a scheme for reliable real-time messaging with bounded delays;energy-saving mechanisms in the time-triggered architecture;model-based programming of modular robots;design and performance evaluation of binary code packing for protecting embedded software against reverse engineering;architectural and behavioral modeling with AADL for fault tolerant embedded systems;model-driven development of a web service-oriented architecture and security policies;real-time-component based software architecture for QoS-adaptive networked multimedia applications;flexible resource management for self-x systems: an evaluation;real-time distribution of time-dependant tasks in heterogeneous environments;towards a framework for self-adaptive reliable network services in highly-uncertain environments;and policy-based reprogramming for wireless sensor networks.
the proceedings contain 21 papers. the topics discussed include: taming distributed system complexity through formal patterns;composing safe systems;a denotational model for component-based risk analysis;synthesis of ...
ISBN:
(纸本)9783642357428
the proceedings contain 21 papers. the topics discussed include: taming distributed system complexity through formal patterns;composing safe systems;a denotational model for component-based risk analysis;synthesis of hierarchical systems;a modal specification theory for components with data;evaluating the performance of model transformation styles in maude;interactive transformations from object-oriented models to component-based models;runtime verification of temporal patterns for dynamic reconfigurations of components;runtime verification of temporal patterns for dynamic reconfigurations of components;realizability of choreographies for services interacting asynchronously;networks of real-time actors: schedulability analysis and coordination;a formal model of object mobility in resource-restricted deployment scenarios;and a proof assistant based formalization of MDE components.
Compared to the conventional physical cluster, the virtual cluster technology has features such as flexible configuration, easy management and high system security, which provides users with an easily customized compu...
详细信息
暂无评论