11484 search results - page 642 / 2297 » Modeling in the Large and Modeling in the Small |
187
Voted
ACSAC
2005
IEEE
16 years 1 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
210
click to vote
JSSPP
2005
Springer
16 years 28 days ago
2005
Springer
User estimates of job runtimes have emerged as an important component of the workload on parallel machines, and can have a significant impact on how a scheduler treats different ...
202
click to vote
SACMAT
2003
ACM
16 years 20 days ago
2003
ACM
Role-based access control (RBAC) is recognized as an efficient access control model for large organizations. Most organizations have some business rules related to access control...
212
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
Adaptive applications have computational workloads and communication patterns which change unpredictably at runtime, requiring dynamic load balancing to achieve scalable performan...
142
Voted
ACL
2006
15 years 8 months ago
2006
Statistical language models should improve as the size of the n-grams increases from 3 to 5 or higher. However, the number of parameters and calculations, and the storage requirem...