5622 search results - page 677 / 1125 » Solving architectural modelling problems using knowledge |
140
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
It has become increasingly difficult to drive a modern highperformance graphics accelerator at full speed with a serial immediate-mode graphics interface. To resolve this problem,...
185
click to vote
ACSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
203
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...
147
click to vote
WSC
1997
15 years 8 months ago
1997
We investigate the problem of deriving precision estimates for bootstrap quantities. The one major stipulation is that no further bootstrapping will be allowed. In 1992, Efron der...
202
click to vote
DSS
2006
15 years 7 months ago
2006
Workflow research is commonly concerned with optimization, modeling, and dependency. In this research, we however address a more fundamental issue. By modeling humans and machines...