854 search results - page 133 / 171 » Addressing Dynamic Issues of Program Model Checking |
118
click to vote
MSWIM
2006
ACM
15 years 8 months ago
2006
ACM
Security is a critical issue in mobile commerce, especially in mobile database systems since mobile environments are dynamic and traditional protection mechanisms do not work very...
101
Voted
SC
2009
ACM
15 years 9 months ago
2009
ACM
Algorithmic choice is essential in any problem domain to realizing optimal computational performance. Multigrid is a prime example: not only is it possible to make choices at the ...
110
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
105
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Several advanced applications, such as those dealing with the Web, need to handle data whose structure is not known a-priori. Such requirement severely limits the applicability of ...
115
click to vote
UIST
1995
ACM
15 years 5 months ago
1995
ACM
We introduce a new genre of user interface applications that can migrate from one machine to another, taking their user interface and application contexts with them, and continue ...