2232 search results - page 410 / 447 » Formal Modeling and Analysis of Organizations |
105
Voted
SEKE
2010
Springer
14 years 8 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
TSE
2010
14 years 8 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
55
Voted
ICDM
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Support analytics (i.e., statistical analysis, modeling and mining of customer/operations support tickets data) is important in service industries. In this paper, we adop...
109
click to vote
PKDD
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We propose a formal definition of the robustness of association rules for interestingness measures. It is a central concept in the evaluation of the rules and has only be...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...