@inproceedings{24276,
  abstract     = {{We define a natural generalization of the prominent k-server problem, the k-resource problem. It occurs in metric spaces with some demands and resources given at its points. The demands may vary with time, but the total demand may never exceed k. The goal of an online algorithm is to satisfy demands by moving resources, while minimizing the cost for transporting resources. We give an asymptotically optimal O(log(min {n,k}))-competitive randomized algorithm and an O(min {k,n})-competitive deterministic one for the k-resource problem on uniform metric spaces consisting of n points. This extends known results for paging to the more general setting of k-resource.
Basing on the results for uniform metric spaces, we develop a randomized algorithm solving the k-resource and the k-server problem on metric spaces which can be decomposed into components far away from each other. The algorithm achieves a competitive ratio of O(log(min {n,k})), provided that it has some extra resources more than the optimal algorithm.
}},
  author       = {{Bienkowski, Marcin and Kutyłowski, Jarosław}},
  booktitle    = {{Lecture Notes in Computer Science}},
  issn         = {{0302-9743}},
  title        = {{{The k-Resource Problem on Uniform and on Uniformly Decomposable Metric Spaces}}},
  doi          = {{10.1007/978-3-540-73951-7_30}},
  year         = {{2007}},
}

@book{24366,
  abstract     = {{Dieses Buch beschäftigt sich mit Algorithmen und Methoden der Peer-to-Peer-Netzwerke und gibt einen Einblick in die aktuelle Forschung.

Ursprünglich waren Peer-to-Peer-Netzwerke nur für File-Sharing konzipiert. Mittlerweile hat sich Peer-to-Peer zum Paradigma für Rechnernetzwerke entwickelt. Ziel dieses Buches ist es, dem Leser ein grundlegendes Verständnis der Techniken hinter den aktuellen Peer-to-Peer-Netzwerken aufzuzeigen und im nächsten Schritt Algorithmen vorzustellen, die vielleicht erst in einigen Jahren umgesetzt werden.

Das Buch richtet sich in erster Linie an Informatiker (Studenten ab dem 5. Semester). Aber auch interessierte Nichtinformatiker können von diesem Buch profitieren, wobei grundlegende Kenntnisse aus den Bereichen der Mathematik und Informatik vorausgesetzt werden. Die Ziele, Kernaussagen und Ergebnisse sollten jedoch auch ohne akademischen Hintergrund klar werden.}},
  author       = {{Mahlmann, Peter and Schindelhauer, Christian}},
  isbn         = {{9783540339915}},
  publisher    = {{Springer}},
  title        = {{{Peer-to-Peer-Netzwerke}}},
  doi          = {{10.1007/978-3-540-33992-2}},
  year         = {{2007}},
}

@article{3211,
  author       = {{Derrick, John and Wehrheim, Heike}},
  journal      = {{Acta Inf.}},
  number       = {{1}},
  pages        = {{41----71}},
  title        = {{{On using data abstractions for model checking refinements}}},
  doi          = {{10.1007/s00236-007-0042-3}},
  year         = {{2007}},
}

@article{3212,
  author       = {{Metzler, Björn and Wehrheim, Heike}},
  journal      = {{Electr. Notes Theor. Comput. Sci.}},
  number       = {{2}},
  pages        = {{47----67}},
  title        = {{{Extending a Component Specification Language with Time}}},
  doi          = {{10.1016/j.entcs.2006.02.031}},
  year         = {{2007}},
}

@article{3213,
  author       = {{Estler, H.{-}Christian and Ruhroth, Thomas and Wehrheim, Heike}},
  journal      = {{Electr. Notes Theor. Comput. Sci.}},
  pages        = {{3----17}},
  title        = {{{Modelchecking Correctness of Refactorings - Some Experiments}}},
  doi          = {{10.1016/j.entcs.2006.08.041}},
  year         = {{2007}},
}

@inproceedings{3214,
  author       = {{Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}},
  booktitle    = {{Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}},
  editor       = {{Sch{\"{u}}rr, Andy and Nagl, Manfred and Z{\"{u}}ndorf, Albert}},
  pages        = {{17----31}},
  title        = {{{Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}}},
  doi          = {{10.1007/978-3-540-89020-1_2}},
  year         = {{2007}},
}

@inproceedings{3215,
  author       = {{Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}},
  editor       = {{M. Bonsangue, Marcello and Broch Johnsen, Einar}},
  pages        = {{76----90}},
  title        = {{{Analysis of {UML} Activities Using Dynamic Meta Modeling}}},
  doi          = {{10.1007/978-3-540-72952-5_5}},
  year         = {{2007}},
}

@inproceedings{3216,
  author       = {{Ruhroth, Thomas and Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}},
  editor       = {{M. Bonsangue, Marcello and Broch Johnsen, Einar}},
  pages        = {{236----251}},
  title        = {{{Refactoring Object-Oriented Specifications with Data and Processes}}},
  doi          = {{10.1007/978-3-540-72952-5_15}},
  year         = {{2007}},
}

@inproceedings{3221,
  author       = {{Schäfer, Wilhelm and Wehrheim, Heike}},
  booktitle    = {{International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}}},
  editor       = {{C. Briand, Lionel and L. Wolf, Alexander}},
  pages        = {{72----84}},
  title        = {{{The Challenges of Building Advanced Mechatronic Systems}}},
  doi          = {{10.1109/FOSE.2007.28}},
  year         = {{2007}},
}

@inproceedings{3222,
  author       = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings}},
  editor       = {{Davies, Jim and Gibbons, Jeremy}},
  pages        = {{195----214}},
  title        = {{{Proving Linearizability Via Non-atomic Refinement}}},
  doi          = {{10.1007/978-3-540-73210-5_11}},
  year         = {{2007}},
}

@phdthesis{2912,
  author       = {{Krummel, Volker}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Tamper Resistance of AES -- Models, Attacks and Countermeasures}}},
  year         = {{2007}},
}

@inbook{3002,
  author       = {{Blömer, Johannes and Krummel, Volker}},
  booktitle    = {{Selected Areas in Cryptography}},
  isbn         = {{9783540773597}},
  pages        = {{96--109}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Analysis of Countermeasures Against Access Driven Cache Attacks on AES}}},
  doi          = {{10.1007/978-3-540-77360-3_7}},
  year         = {{2007}},
}

@inbook{3019,
  author       = {{May, Alexander}},
  booktitle    = {{Advances in Cryptology — CRYPTO 2002}},
  isbn         = {{9783540440505}},
  issn         = {{0302-9743}},
  pages        = {{242--256}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Cryptanalysis of Unbalanced RSA with Small CRT-Exponent}}},
  doi          = {{10.1007/3-540-45708-9_16}},
  year         = {{2007}},
}

@inbook{3020,
  author       = {{Blömer, Johannes and May, Alexander}},
  booktitle    = {{Lecture Notes in Computer Science}},
  isbn         = {{9783540424888}},
  issn         = {{0302-9743}},
  pages        = {{4--19}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Low Secret Exponent RSA Revisited}}},
  doi          = {{10.1007/3-540-44670-2_2}},
  year         = {{2007}},
}

@inbook{3021,
  author       = {{Blömer, Johannes and May, Alexander}},
  booktitle    = {{Selected Areas in Cryptography}},
  isbn         = {{9783540430667}},
  issn         = {{0302-9743}},
  pages        = {{325--341}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Key Revocation with Interval Cover Families}}},
  doi          = {{10.1007/3-540-45537-x_26}},
  year         = {{2007}},
}

@inbook{3022,
  author       = {{May, Alexander and Silverman, Joseph H.}},
  booktitle    = {{Lecture Notes in Computer Science}},
  isbn         = {{9783540424888}},
  issn         = {{0302-9743}},
  pages        = {{110--125}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Dimension Reduction Methods for Convolution Modular Lattices}}},
  doi          = {{10.1007/3-540-44670-2_10}},
  year         = {{2007}},
}

@inbook{3026,
  author       = {{Blömer, Johannes}},
  booktitle    = {{Algorithms — ESA’ 98}},
  isbn         = {{9783540648482}},
  issn         = {{0302-9743}},
  pages        = {{151--162}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers}}},
  doi          = {{10.1007/3-540-68530-8_13}},
  year         = {{2007}},
}

@inproceedings{20949,
  author       = {{Delic, A. and Avdagic, Z. and Schäfer, Wilhelm and Boskovic, Dusanka and Meyer, Matthias}},
  booktitle    = {{Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina}},
  publisher    = {{Faculty of Electrical Engineering, University of Sarajevo}},
  title        = {{{Program evaluation using fuzzy logic with bad smells as inputs}}},
  year         = {{2007}},
}

@article{17567,
  author       = {{Leonardi, Stefano and Mahlmann, Peter and Meyer auf der Heide, Friedhelm and Spirakis, Paul G. and Weikum, Gerhard}},
  journal      = {{e-Strategies, www.britishpublishers.com}},
  title        = {{{Guarding our digital society's well-being}}},
  volume       = {{3-10-2007}},
  year         = {{2007}},
}

@inproceedings{18928,
  author       = {{Dynia, Miroslaw and Łopuszański, Jakub and Schindelhauer, Christian}},
  booktitle    = {{Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO)}},
  isbn         = {{9783540729181}},
  pages        = {{37---- 46}},
  title        = {{{Why Robots Need Maps}}},
  doi          = {{10.1007/978-3-540-72951-8_5}},
  year         = {{2007}},
}