3951 search results - page 618 / 791 » Automatic amortized analysis |
175
click to vote
ACAL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper illustrates how the Quadratic Assignment Problem (QAP) is used as a mathematical model that helps to produce a visualization of microarray data, based on the r...
139
click to vote
AIRWEB
2007
Springer
15 years 11 months ago
2007
Springer
Redirection spam presents a web page with false content to a crawler for indexing, but automatically redirects the browser to a different web page. Redirection is usually immediat...
140
click to vote
APN
2007
Springer
15 years 11 months ago
2007
Springer
Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails. We cons...
143
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
The quality of information is crucial for decision making in many mission-critical applications such as battlefield operations and intelligence analysis. However, as the system b...
129
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...