19003 search results - page 332 / 3801 » We Need Assurance |
163
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract-- ECO routing is a very important design capability in advanced IC, MCM and PCB designs when additional routings need to be made at the latter stage of the physical design...
173
click to vote
ADBIS
1998
Springer
15 years 11 months ago
1998
Springer
Object-oriented database management systems are often motivated by their support for new emerging application areas such as computer-aided design and analysis systems. The object-o...
179
click to vote
ICSM
1994
IEEE
15 years 11 months ago
1994
IEEE
In order to improve software maintenance processes, we need to be able to first characterize and assess them. This task needs to be performed in depth and with objectivity since t...
205
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
The perception of future wireless mesh network (WMN) deployment and usage is rapidly evolving. WMNs are now being envisaged to provide citywide "last-mile" access for nu...
187
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...