4693 search results - page 799 / 939 » Verifying Hybrid Systems |
138
click to vote
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
—This work presents a closed-form expression for characterizing the spread of static worm-scanning strategies through a mean-field approximation. Our model can both accurately c...
146
click to vote
ICDE
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper introduces a novel keyword searching paradigm in Relational Databases (DBs), where the result of a search is a ranked set of Object Summaries (OSs). An OS summarizes...
119
click to vote
IJCNN
2008
IEEE
15 years 10 months ago
2008
IEEE
— It is well known that edge filters in the visual system can be generated by the InfoMax principle. But, such models are nonlinear and employ fully-connected network structures...
140
click to vote
IWNAS
2008
IEEE
15 years 10 months ago
2008
IEEE
∗ As one type of stealthy and hard-to-detect attack, lowrate TCP-targeted DDoS attack can seriously throttle the throughput of normal TCP flows for a long time without being noti...
135
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Agile and traditional plan-based approaches to software system development both agree that prioritizing requirements is an essential activity. They differ in basic strategy - wh...