2236 search results - page 436 / 448 » Secure Software Design in Practice |
CASSIS
2005
Springer
14 years 28 days ago
2005
Springer
Today many interactions are carried out online through Web sites and e-services and often private and/or sensitive information is required by service providers. A growing concern r...
EMSOFT
2005
Springer
14 years 27 days ago
2005
Springer
Early applications of smart cards have focused in the area of personal security. Recently, there has been an increasing demand for networked, multi-application cards. In this new ...
FOSSACS
2005
Springer
14 years 27 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
OOPSLA
2005
Springer
14 years 26 days ago
2005
Springer
It is now well established that the device scaling predicted by Moore’s Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the...
OOPSLA
2005
Springer
14 years 26 days ago
2005
Springer
Garbage collection yields numerous software engineering benefits, but its quantitative impact on performance remains elusive. One can compare the cost of conservative garbage col...