171 search results - page 8 / 35 » Improving Computer Security Using Extended Static Checking |
IPPS
2003
IEEE
15 years 2 months ago
2003
IEEE
OpenMP has emerged as a widely accepted standard for writing shared memory programs. Hardware-specific extensions such as data placement are usually needed to improve the scalabi...
ICN
2009
Springer
14 years 7 months ago
2009
Springer
Grid or 2D Mesh structures are becoming one of the most attractive network topologies to study. They can be used in many different fields raging from future broadband networks to ...
GPC
2009
Springer
14 years 7 months ago
2009
Springer
Data integrity is an important aspect of storage security and reliability which are prerequisite for most computer systems and network applications. This paper proposes a new tech...
130
click to vote
FASE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
QOSA
2007
Springer
15 years 3 months ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...