2441 search results - page 358 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
162
click to vote
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
121
click to vote
EUROMICRO
1998
IEEE
15 years 8 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
150
Voted
TON
2008
15 years 4 months ago
2008
We study the effectiveness of automatic patching and quantify the speed of patch or alert dissemination required for worm containment. We focus on random scanning as this is repres...
134
Voted
AIIA
2005
Springer
15 years 9 months ago
2005
Springer
Building profiles for processes and for interactive users is a important task in intrusion detection. This paper presents the results obtained with a Hierarchical Hidden Markov Mo...
157
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...