3516 search results - page 535 / 704 » Integrating Security Modeling into Embedded System Design |
121
click to vote
DFT
2003
IEEE
15 years 9 months ago
2003
IEEE
In the last years, new requirements in terms of vehicle performance increased significantly the amount of on-board electronics, thus raising more concern about safety and fault to...
158
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
118
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
137
click to vote
SACMAT
2006
ACM
15 years 10 months ago
2006
ACM
Delegation of authority is an important process that needs to be captured by any access control model. In role-based access control models, delegation of authority involves delega...
141
Voted
SCANGIS
2003
15 years 5 months ago
2003
A prototype least cost pipeline routing was performed using various data and GIS analysis. Ahvaz-Marun oil pipeline in south west of IRAN was chosen for development of the prototy...