Sciweavers

2377 search results - page 330 / 476
» Hybrid Systems in TLA
Sort
View
ISCAS
2005
IEEE
141views Hardware» more  ISCAS 2005»
16 years 2 hour ago
Image compression using texture modeling
Abstract— We consider the problem of improving the performance of multiwavelets-based image coders through texture parametrization. Texture parametrization is designed to achieve...
Lahouari Ghouti, Ahmed Bouridane, Mohammad K. Ibra...
PERCOM
2005
ACM
15 years 12 months ago
Selection and Navigation of Mobile Sensor Nodes Using a Sensor Network
Hybrid sensor networks comprise of mobile and static sensor nodes setup for the purpose of collaboratively performing tasks like sensing a phenomenon or monitoring a region. In th...
Atul Verma, Hemjit Sawant, Jindong Tan
SAC
2005
ACM
15 years 12 months ago
Mobile real-time read-only transaction processing in data broadcast environments
Data broadcast is a widely accepted data dissemination method for mobile computing systems. When data broadcast is used to deliver frequently updated data to mobile read-only tran...
Guohui Li, Hongya Wang, Yunsheng Liu, Jixiong Chen
KIVS
2005
Springer
15 years 12 months ago
An Integrated Simulator for Inter-Domain Scenarios
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
Matthias Scheidegger, Florian Baumgartner, Torsten...
IFL
2003
Springer
167views Formal Methods» more  IFL 2003»
15 years 11 months ago
A Functional Shell That Dynamically Combines Compiled Code
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
Arjen van Weelden, Rinus Plasmeijer