4693 search results - page 799 / 939 » Verifying Hybrid Systems |
98
Voted
ICC
2008
IEEE
15 years 7 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...
107
Voted
ICDE
2008
IEEE
15 years 7 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...
84
Voted
IJCNN
2008
IEEE
15 years 7 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...
109
click to vote
IWNAS
2008
IEEE
15 years 7 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...
102
Voted
KBSE
2008
IEEE
15 years 7 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...