4731 search results - page 10 / 947 » Securing Interactive Programs |
142
Voted
ICSEA
2006
IEEE
15 years 12 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 ...
171
click to vote
ICLP
2009
Springer
16 years 17 days 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...
202
click to vote
IPPS
2008
IEEE
16 years 6 days 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 ...
240
Voted
POPL
2002
ACM
16 years 6 months ago
2002
ACM
144
Voted
CSFW
2000
IEEE
15 years 10 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...