Sciweavers

4222 search results - page 569 / 845
» Challenges in Service-Oriented Networking
Sort
View
ATVA
2006
Springer
206views Hardware» more  ATVA 2006»
15 years 10 months ago
Compositional Reasoning for Hardware/Software Co-verification
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
Fei Xie, Guowu Yang, Xiaoyu Song
DFT
2006
IEEE
122views VLSI» more  DFT 2006»
15 years 10 months ago
Efficient and Robust Delay-Insensitive QCA (Quantum-Dot Cellular Automata) Design
The concept of clocking for QCA, referred to as the four-phase clocking, is widely used. However, inherited characteristics of QCA, such as the way to hold state, the way to synch...
Minsu Choi, Myungsu Choi, Zachary D. Patitz, Nohpi...
IADIS
2003
15 years 8 months ago
Personalized Context-Aware Presentation of Information to Mobile Users
One of the major challenges facing information systems today is that of finding relevant information to satisfy a user's request and presenting it in a preferred form. The po...
M. Howard Williams, D. Halvatzaras, Lars Mehrmann
IJCAI
2003
15 years 8 months ago
People Tracking with Anonymous and ID-Sensors Using Rao-Blackwellised Particle Filters
Estimating the location of people using a network of sensors placed throughout an environment is a fundamental challenge in smart environments and ubiquitous computing. Id-sensors...
Dirk Schulz, Dieter Fox, Jeffrey Hightower
IOPADS
1997
94views more  IOPADS 1997»
15 years 8 months ago
Remote I/O Fast Access to Distant Storage
As high-speed networks make it easier to use distributed resources, it becomes increasingly common that applications and their data are not colocated. Users have traditionally add...
Ian T. Foster, David Kohr, Rakesh Krishnaiyer, Jac...