4245 search results - page 298 / 849 » Input Modeling |
176
click to vote
ISW
2005
Springer
16 years 21 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
185
click to vote
SAT
2005
Springer
16 years 21 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
198
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...
237
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...
217
click to vote
RIAO
2007
2007
From Layout to Semantic: a Reranking Model for Mapping Web Documents to Mediated XML Representations
15 years 8 months ago
Many documents on the Web are formated in a weakly structured format. Because of their weak semantic and because of the heterogeneity of their formats, the information conveyed by...