Sciweavers

1081 search results - page 128 / 217
» Hierarchical Heterogeneous Specifications
Sort
View
ACMSE
2005
ACM
14 years 12 months ago
Generative approaches for application tailoring of mobile devices
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
Victoria Davis, Jeff Gray, Joel Jones
CN
2004
109views more  CN 2004»
14 years 10 months ago
Architectures and protocols for mobile computing applications: a reconfigurable approach
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
Carla-Fabiana Chiasserini, Francesca Cuomo, Leonar...
KDD
2002
ACM
169views Data Mining» more  KDD 2002»
15 years 10 months ago
A Framework for Customizable Sports Video Management and Retrieval
Several domain specific approaches for sports video management have shown the benefits of integrating low- and high- level video contents in supporting more robust retrieval. Howev...
Dian Tjondronegoro, Yi-Ping Phoebe Chen, Binh Pham
VLSID
2001
IEEE
129views VLSI» more  VLSID 2001»
15 years 10 months ago
Design Of Provably Correct Storage Arrays
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann
PERCOM
2005
ACM
15 years 9 months ago
PDP and GSDL: A New Service Discovery Middleware to Support Spontaneous Interactions in Pervasive Systems
In pervasive computing environments, mobile devices communicate via wireless links without requiring any fixed infrastructure. These devices must be able to discover and share ser...
Andrés Marín López, Carlos Ga...