1170 search results - page 222 / 234 » Experience with Ripple-Down Rules |
CCS
2003
ACM
14 years 26 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
HIPC
2003
Springer
14 years 25 days ago
2003
Springer
Traditional methods for data mining typically make the assumption that data is centralized and static. This assumption is no longer tenable. Such methods waste computational and I/...
SIGMOD
2010
ACM
14 years 14 days ago
2010
ACM
The K-Nearest Neighbor search (kNN) problem has been investigated extensively in the past due to its broad range of applications. In this paper we study this problem in the contex...
COGNITIVE
2001
Springer
14 years 4 days ago
2001
Springer
The relationship between our actions and their perceivable results is ruled by what we call the laws of nature. It is general understanding that our actions act upon real objects ...
ICSE
2001
IEEE-ACM
14 years 2 days ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...