422 search results - page 34 / 85 » Incremental Detection of Model Inconsistencies Based on Mode... |
JSS
2008
14 years 8 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
CP
2008
Springer
14 years 11 months ago
2008
Springer
We present an incremental refinement algorithm for approximate compilation of constraint satisfaction models into multivalued decision diagrams (MDDs). The algorithm uses a vertex ...
70
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...
102
click to vote
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper, a novel receiver for joint data detection and channel tracking on continuous phase modulation (CPM) operating under a frequency-flat time-varying Rayleigh fading c...
79
Voted
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
In intelligence analysis, information plays an important role in solving problems and making decisions. However, an increasing number of malicious behaviors, most of which come fr...