3482 search results - page 521 / 697 » Designing for security |
182
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
166
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...
168
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
A workflow system provides enterprises the automatic and paperless process management. The idea of Enterprise JavaBeans (EJB) is to utilize components from various vendors to cons...
138
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
In email-based discussion lists (DLs), messages resident in archives, email clients and elsewhere are persistent. One way of examining persistent messages is through the eyes of l...
154
click to vote
VTS
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a low-cost on-line test methodology for RTL controller-datapath pairs, based on the notion of path invariance. The fundamental observation supporting the proposed metho...