2722 search results - page 340 / 545 » Automating Language Evolution |
167
click to vote
CIDR
2011
14 years 7 months ago
2011
For some problems, human assistance is needed in addition to automated (algorithmic) computation. In sharp contrast to existing data management approaches, where human input is ei...
169
click to vote
IJSEKE
2011
14 years 7 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
148
click to vote
APLAS
2011
ACM
14 years 4 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
139
click to vote
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
178
Voted
HOPL
2007
15 years 8 months ago
2007
AppleScript is a scripting language and environment for the Mac OS. Originally conceived in 1989, AppleScript allows end-users to automate complex tasks and customize Mac OS appli...