13 search results - page 3 / 3 » Static Analysis of Prolog with Cut |
SIGSOFT
2010
ACM
13 years 3 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...
FASE
2008
Springer
13 years 7 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...
ICDM
2007
IEEE
13 years 11 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...