2024 search results - page 221 / 405 » Providing Secure Environments for Untrusted Network Applicat... |
219
click to vote
Publication
The increasing number of new applications for mobile devices in pervasive environments, do not cope with changes in the wireless communications. Developers of such applications hav...
149
click to vote
WSC
1997
15 years 7 months ago
1997
This paper examines the construction and implementation of a simulation model that supports the design and development of the Queston Physician Network. Queston seeks to partner w...
187
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
The current internetworking architecture presents some limitations to naturally support mobility and multi-homing. Among the limitations, the IP semantic overload seems to be a pr...
168
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
184
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
Porting on grids complex MPI applications involving collective communications requires significant program modification, usually dedicated to a single grid structure. The diffi...