10890 search results - page 1820 / 2178 » Automatic Complexity Analysis |
279
click to vote
VLSI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
195
click to vote
WAW
2007
Springer
16 years 23 days ago
2007
Springer
Betweenness is a centrality measure based on shortest paths, widely used in complex network analysis. It is computationally-expensive to exactly determine betweenness; currently th...
181
click to vote
WEBI
2007
Springer
16 years 23 days ago
2007
Springer
There is a critical need to design and develop tools tract away the fundamental complexity of XML-based Web services specifications and toolkits, and provide an elegant, intuitive...
170
click to vote
WER
2007
Springer
16 years 23 days ago
2007
Springer
Role-Based Access Control (RBAC) is increasingly used for ensuring security and privacy in complex organizations such as healthcare institutions. In RBAC, access permissions are g...
161
click to vote
ACSAC
2006
IEEE
16 years 22 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...