4870 search results - page 398 / 974 » Construction of Wavelets and Applications |
140
click to vote
COMPSAC
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
175
click to vote
ICALT
2005
IEEE
16 years 1 months ago
2005
IEEE
Physics education often relies on visualization of theoretical laws. While Java animations are widespread, they mostly lack user interaction. We propose a haptic device inviting u...
179
click to vote
ICMB
2005
IEEE
16 years 1 months ago
2005
IEEE
Service discovery is important in mobile and pervasive computing environments, where the set of resources available to an entity changes dynamically over time. This paper describe...
175
click to vote
ISLPED
2005
ACM
16 years 1 months ago
2005
ACM
Previous work has shown that intra-program optimizations, i.e., optimizations performed on individual programs in isolation, can be very effective in reducing disk energy in stre...
203
click to vote
ACNS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We propose a micro-payment scheme for symmetric multihop cellular networks that encourages intermediaries to transmit packets and recipients to provide auditing informati...