1569 search results - page 179 / 314 » Automated Design Improvement by Example |
110
click to vote
NSPW
2004
ACM
15 years 9 months ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...
140
click to vote
POLICY
2004
Springer
15 years 9 months ago
2004
Springer
Automated trust negotiation is the process of establishing trust between entities with no prior relationship through the iterative disclosure of digital credentials. One approach ...
113
click to vote
WEBI
2004
Springer
15 years 9 months ago
2004
Springer
As the amount of available data continues to increase, more and more effective means for discovering important patterns and relationships within that data are required. Although t...
169
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Boolean Satisfiability is a ubiquitous modeling tool in Electronic Design Automation, It finds application in test pattern generation, delay-fault testing, combinational equivalen...
141
click to vote
UML
1999
Springer
15 years 8 months ago
1999
Springer
UML has established itself as the leading OO analysis and design methodology. Recently, it has also been increasingly used as a foundation for representing numerous (diagrammatic) ...