1403 search results - page 144 / 281 » Quantitative Interprocedural Analysis |
INFOCOM
2003
IEEE
14 years 3 months ago
2003
IEEE
— Active worms spread in an automated fashion and can flood the Internet in a very short time. Modeling the spread of active worms can help us understand how active worms spread...
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
A multi-agent system can be analyzed and specified as an organization consisting of roles and their relations. The performance of an organization depends on many factors among whi...
CAV
2006
Springer
14 years 2 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
JWSR
2007
13 years 10 months ago
2007
: Business processes continue to play an important role in today’s service-oriented enterprise computing systems. Mining, discovering, and integrating process-oriented services h...
COGSCI
2004
13 years 10 months ago
2004
We present a technique called Random Image Structure Evolution (RISE) for use in experimental investigations of high-level visual perception. Potential applications of RISE includ...