2236 search results - page 147 / 448 » Secure Software Design in Practice |
131
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Secure, distributed collaboration between different organizations is a key challenge in Grid computing today. The GDCD project has produced a Grid-based demonstrator Virtual Colla...
132
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
134
Voted
ASPDAC
2012
ACM
13 years 12 months ago
2012
ACM
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
123
click to vote
IWCMC
2009
ACM
15 years 10 months ago
2009
ACM
Wireless Mesh Networks (WMNs) are gaining popularity as a flexible and inexpensive replacement for Ethernet-based infrastructure. However, WMN security has not been covered adequ...
103
click to vote
IWPC
2005
IEEE
15 years 9 months ago
2005
IEEE
In order to make frameworks easier to use we need to better understand the difficulties that programmers have with them. The questions that programmers ask give clues to the qual...