2236 search results - page 168 / 448 » Secure Software Design in Practice |
146
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...
113
click to vote
FOSSACS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
159
click to vote
MM
2003
ACM
15 years 9 months ago
2003
ACM
In this demonstration we present the ARMS system which enables secure and adaptive rich media streaming to a large-scale, heterogeneous client population. The ARMS system dynamica...
152
click to vote
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
Phase change memory (PCM) is an emerging memory technology for future computing systems. Compared to other non-volatile memory alternatives, PCM is more matured to production, and...
132
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...