4693 search results - page 512 / 939 » Verifying Hybrid Systems |
172
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Social bookmarking services have become recently popular in the Web. Along with the rapid increase in the amount of social bookmarks, future applications could leverage this data f...
168
click to vote
ISCAS
2005
IEEE
16 years 18 days ago
2005
IEEE
Abstract— We consider the problem of improving the performance of multiwavelets-based image coders through texture parametrization. Texture parametrization is designed to achieve...
221
click to vote
PERCOM
2005
ACM
16 years 18 days ago
2005
ACM
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...
174
click to vote
SAC
2005
ACM
16 years 17 days ago
2005
ACM
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...
181
click to vote
KIVS
2005
Springer
16 years 15 days ago
2005
Springer
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...