2364 search results - page 464 / 473 » An Engine for Computing Well-Founded Models |
150
click to vote
NSPW
2003
ACM
15 years 11 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
160
click to vote
SACMAT
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we describe the work devising a new technique for role-finding to implement Role-Based Security Administration. Our results stem from industrial projects, where larg...
159
click to vote
ASM
2003
ASM
15 years 11 months ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
177
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
183
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...