205 search results - page 20 / 41 » Types for ambient and process mobility |
TACAS
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
ISCA
2009
IEEE
14 years 2 months ago
2009
IEEE
In the past decade, the proliferation of mobile devices has increased at a spectacular rate. There are now more than 3.3 billion active cell phones in the world—a device that we...
ICEIS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we are concerned with innovation in the development of mobile applications. In particular, we address how we may come to think systematically about innovative aspects...
PDPTA
2008
13 years 9 months ago
2008
- The rising popularity of Mobile Computing creates new methods for accessing Web content. At the same time Really Simple Syndication (RSS) feed is another new trend of constantly ...
SENSYS
2010
ACM
13 years 5 months ago
2010
ACM
Passive monitoring is an important tool for measuring, troubleshooting, and protecting modern wireless networks. To date, WiFi monitoring has focused primarily on indoor settings ...