611 search results - page 43 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
ECOWS
2007
Springer
15 years 6 months ago
2007
Springer
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
202
click to vote
PLDI
2009
ACM
16 years 13 days ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
APSEC
2004
IEEE
15 years 3 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
103
click to vote
SP
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
In a typical client-server scenario, a trusted server provides valuable services to a client, which runs remotely on an untrusted platform. Of the many security vulnerabilities th...