624 search results - page 22 / 125 » Application of Lightweight Formal Methods to Software Securi... |
HPDC
2008
IEEE
15 years 3 months ago
2008
IEEE
Grid applications have been prone to encountering problems such as failures or malicious attacks during execution, due to their distributed and large-scale features. The applicati...
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
SOFTWARE
2002
14 years 9 months ago
2002
: This paper presents a lightweight form of usage-centered design that has proved particularly effective in designing highly usable Webbased applications. Fully compatible with bot...
SOCO
2005
Springer
15 years 3 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we present Triplify ? a simplistic but effective approach to publish Linked Data from relational databases. Triplify is based on mapping HTTP-URI requests onto relat...