Sciweavers

2365 search results - page 425 / 473
» Computing a Representation of the Local Environment
Sort
View
CSE
2009
IEEE
14 years 1 months ago
Self-Organized Data-Energy-Aware Clustering and Routing for Wireless Sensor Networks
—In this paper we propose a clustering and routing scheme for wireless sensor networks based on a self-organizing approach. The aim of this approach is for nodes to perform an in...
Ehssan Sakhaee, Naoki Wakamiya, Masayuki Murata
ICPR
2000
IEEE
14 years 27 days ago
Database Architecture for Autonomous Transportation Agents for On-Scene Networked Incident Management (ATON)
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
Mohan M. Trivedi, Shailendra K. Bhonsle, Amarnath ...
VISUALIZATION
1999
IEEE
14 years 23 days ago
A Distributed Graphics System for Large Tiled Displays
Recent interest in large displays has led to renewed development of tiled displays, which are comprised of several individual displays arranged in an array and used as one large l...
Greg Humphreys, Pat Hanrahan
WWCA
1998
Springer
14 years 21 days ago
Worldwide Component Scripting with the Planet Mobile Object System
Abstract. Recently, component-based application developments to improve the software productivity and reusability have attracted our attention. The components are parts for buildin...
Katsuya Matsubara, Takahiro Maekawa, Kazuhiko Kato
CAV
2007
Springer
164views Hardware» more  CAV 2007»
14 years 15 days ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke