6960 search results - page 397 / 1392 » Continuity Analysis of Programs |
141
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
127
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
A survey of niching algorithms, based on 5 variants of derandomized Evolution Strategies (ES), is introduced. This set of niching algorithms, ranging from the very first derandom...
156
click to vote
VIZSEC
2005
Springer
15 years 10 months ago
2005
Springer
Traffic anomalies and attacks are commonplace in today’s networks and identifying them rapidly and accurately is critical for large network operators. For a statistical intrusi...
125
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— As the multicast-capable part of the Internet continues to evolve, important questions to ask are whether the protocols are operating correctly, the topology is well co...
129
click to vote
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
Typical application scenarios in the area of rich-media management, such as the continuous digitisation of the media production processes, the search and retrieval tasks in a grow...