2364 search results - page 464 / 473 » An Engine for Computing Well-Founded Models |
NSPW
2003
ACM
15 years 4 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...
102
click to vote
SACMAT
2003
ACM
15 years 4 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...
ASM
2003
ASM
15 years 4 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...
109
click to vote
SIGMOD
2000
ACM
15 years 4 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...
109
click to vote
CAISE
2006
Springer
15 years 3 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, ...