1894 search results - page 290 / 379 » Towards Mobile Reasoning |
CAV
2009
Springer
14 years 10 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
ACSD
2008
IEEE
14 years 4 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
INFOCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—Understanding user behavior in wireless environments is useful for a variety of reasons ranging from the design of better sleep algorithms for components of mobile devic...
SEFM
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
WACV
2008
IEEE
14 years 4 months ago
2008
IEEE
Recent developments in image search has made them sufficiently efficient to be used in real-time applications. GPS has become a popular navigation tool. While GPS information pr...