861 search results - page 23 / 173 » A General Framework for Knowledge Compilation |
93
Voted
CASES
2007
ACM
15 years 1 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
83
Voted
RAID
1999
Springer
15 years 1 months ago
1999
Springer
We have been developing a data mining (i.e., knowledge discovery) framework, MADAM ID, for Mining Audit Data for Automated Models for Intrusion Detection [LSM98, LSM99b, LSM99a]. ...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
Model-driven development requires a full set of development tools. While technologies for constructing graphical editors, compilers etc. are readily available, there is a lack of ...
84
Voted
JUCS
2010
14 years 8 months ago
2010
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...