537 search results - page 87 / 108 » A threat-driven approach to modeling and verifying secure so... |
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
EDBT
2006
ACM
14 years 7 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...
CSE
2011
IEEE
12 years 7 months ago
2011
IEEE
— In network based applications, packet capture is the main area that attracts many researchers in developing traffic monitoring systems. Along with the packet capture, many othe...
DAC
1999
ACM
13 years 12 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...