4285 search results - page 541 / 857 » Differential Behavioral Analysis |
189
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Several variants of the Particle Swarm Optimization (PSO) algorithm have been proposed in recent past to tackle the multi-objective optimization problems based on the concept of Pa...
210
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
162
click to vote
CCR
2004
15 years 6 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
202
click to vote
COMCOM
2004
15 years 6 months ago
2004
Abstract-- This paper investigates the TCP dynamics and performance over proxies that shorten the TCP feedback loop by segmenting the end-to-end connection. Such proxies are often ...
165
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
In a categorized information space, predicting users' information needs at the category level can facilitate personalization, caching and other topic-oriented services. This ...