35416 search results - page 391 / 7084 » Evaluation |
170
click to vote
PACT
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
171
click to vote
PAM
2005
Springer
16 years 7 days ago
2005
Springer
The increasing popularity of Peer-to-Peer (P2P) networks has led to growing interest in characterizing their topology and dynamics [1–4], essential for proper design and effecti...
141
click to vote
PASTE
2004
ACM
16 years 6 days ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
218
click to vote
ADBIS
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we consider concurrent execution of multiple data mining queries in the context of discovery of frequent itemsets. If such data mining queries operate on similar part...
153
click to vote
EUROPAR
2004
Springer
16 years 4 days ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...