13 search results - page 3 / 3 » Static Analysis of Prolog with Cut |
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
143
Voted
FASE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
86
Voted
ICDM
2007
IEEE
15 years 6 months ago
2007
IEEE
Discovering communities from documents involved in social discourse is an important topic in social network analysis, enabling greater understanding of the relationships among act...