4 search results - page 1 / 1 » Mashups and modularity: Towards secure and reusable web appl... |
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
The software industry is currently experiencing a paradigm shift towards web-based software. We argue that web technologies should evolve in a direction that would allow the devel...
AOSD
2009
ACM
13 years 11 months ago
2009
ACM
Desktop client applications interact with both local and remote resources. This is both a benefit in terms of the rich features desktop clients can provide, but also a security r...
IRI
2008
IEEE
13 years 11 months ago
2008
IEEE
Freight transportation at distribution nodes such as marine ports, airports and rail yards has been putting tremendous environmental pressure in metropolitan areas. A prerequisite...
APLAS
2010
ACM
13 years 4 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...