180 search results - page 26 / 36 » Precise interprocedural analysis using random interpretation |
101
click to vote
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
The effectiveness and precision of network-based intrusion detection signatures can be evaluated either by direct analysis of the signatures (if they are available) or by using bl...
121
click to vote
JCB
2002
14 years 9 months ago
2002
There are many algorithms to cluster sample data points based on nearness or a similarity measure. Often the implication is that points in different clusters come from different u...
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
SOCIALCOM
2010
14 years 7 months ago
2010
The huge size of online social networks (OSNs) makes it prohibitively expensive to precisely measure any properties which require the knowledge of the entire graph. To estimate the...
CMSB
2007
Springer
15 years 3 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...