963 search results - page 70 / 193 » Types for Mobile Ambients |
ELPUB
2007
ACM
14 years 21 days ago
2007
ACM
The proposed paper analyses the changes in business models employed by the stakeholders in the newspaper value network, in the context of a new type of electronic reading device
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
ACMACE
2008
ACM
13 years 10 months ago
2008
ACM
This paper presents the design and development of an ARWeather simulation application, which can simulate various types of precipitation: rain, snow, and hail. We analysed various...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
— The demand for broadband mobile services continues to grow. Conventional high-speed broadband solutions are based on wired-access technologies such as digital subscriber line (...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...