4731 search results - page 10 / 947 » Securing Interactive Programs |
ICSEA
2006
IEEE
14 years 1 months ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
ICLP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse ...
POPL
2002
ACM
14 years 7 months ago
2002
ACM
CSFW
2000
IEEE
13 years 12 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...