675 search results - page 111 / 135 » Mobilization of software developers: the free software movem... |
ATAL
2006
Springer
13 years 10 months ago
2006
Springer
This paper presents SAgent, a general-purpose mobile agent security framework that is designed to protect the computations of mobile agent applications in potentially hostile envi...
CAV
2009
Springer
14 years 9 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...
FOSSACS
2010
Springer
14 years 3 months ago
2010
Springer
Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an ade...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
Continuing trends in sensor, semiconductor and communication systems technology (smaller, faster, cheaper) make feasible very dense networks of fixed and mobile wireless devices ...
ISWC
1999
IEEE
14 years 1 months ago
1999
IEEE
We describe an experimental wearable augmented reality system that enables users to experience hypermedia presentations that are integrated with the actual outdoor locations to wh...