2962 search results - page 376 / 593 » Reasoning on Association Rules |
189
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
187
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
168
click to vote
C5
2008
IEEE
16 years 1 months ago
2008
IEEE
Active content in multimedia documents helps the reader to grasp the implications of nonlinear and complex systems that are difficult to understand in a text-based description. T...
150
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
The reasons why software is changed are manyfold; new features are added, bugs have to be fixed, or the consistency of coding rules has to be re-established. Since there are many...
220
click to vote
WIMOB
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—One of the reasons that the research of intrusion detection in wireless sensor networks has not advanced significantly is that the concept of “intrusion” is not cle...