17054 search results - page 3283 / 3411 » Logics of Dynamical Systems |
152
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
166
click to vote
SAINT
2005
IEEE
15 years 11 months ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...
162
Voted
WIOPT
2005
IEEE
15 years 11 months ago
2005
IEEE
Loss-Free handoff in Mobile Networks is an extensive research area. Mobile IP (MIP) provided a solution to enable a mobile node to roam from one location to another while maintain...
160
click to vote
WIOPT
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— The ever-increasing popularity of web services, growing demand for wireless multimedia and introduction of new, feature-enhanced, hand-held devices has already given bi...
172
click to vote
MM
2005
ACM
15 years 11 months ago
2005
ACM
Human eyes have limited perception capabilities; for example, only 2 degrees of our 140 degree vision field provide the highest quality of perception. Due to this fact the idea of...