915 search results - page 116 / 183 » Maximally Abstract Retrenchments |
APPROX
2009
Springer
14 years 2 months ago
2009
Springer
An important research thread in algorithmic game theory studies the design of efficient truthful mechanisms that approximate the optimal social welfare. A fundamental question is ...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
EUROSSC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. During the development of context aware applications a context management component must traditionally be created. This task requires specialist context lifecycle managem...
ICCS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Today’s general purpose computers lack in meeting the requirements on computing performance for standard applications in bioinformatics like DNA sequence alignment, err...
ISICA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Intrusion detection has been extensively studied in the last two decades. However, most existing intrusion detection techniques detect limited number of attack types and ...