1799 search results - page 82 / 360 » The Logic of Correctness in Software Engineering |
224
click to vote
FASE
2008
Springer
15 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...
182
Voted
COMPSAC
2006
IEEE
16 years 2 days ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
156
click to vote
COMPSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
143
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
In this work, we present an application of the Fuzzy Logic in the field of prediction in Software Engineering. We specifically use the Fuzzy Prototypical Knowledge Discovery for ch...
156
click to vote
FASE
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...