@article{Law:2008p584,
	title = {Towards a shared definition of user experience},
	author = {Effie Law and Virpi Roto and Arnold Vermeeren and Joke Kort and Marc Hassenzahl},
	journal = {CHI '08: CHI '08 extended abstracts on Human factors in computing systems},
	month = {Apr},
	url = {http://portal.acm.org/citation.cfm?id=1358628.1358693},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/235c2376424426aa3c53129d994ddcb9f/anrcare},
	abstract = {User experience (UX) is still an elusive notion with many different definitions, despite some recent attempts to develop a unified view on UX. The lack of a shared definition of UX not only confuses or even misleads customers of a product/service but ...},
	date-added = {2008-05-14 17:54:19 +0200}, pmid = {1358628.1358693}, local-url = {file://localhost/Users/cedric_bach/Documents/Papers/2008/Law/CHI%20'08%20CHI%20'08%20extended%20abstracts%20on%20Human%20factors%20in%20computing%20systems%202008%20Law.pdf}, uri = {papers://63878A5C-413C-4F55-964E-6E4B0F84A173/Paper/p1544}, date-modified = {2008-05-14 17:54:19 +0200}, read = {Yes}, rating = {0},
	keywords = {definition, experience, usability user }
}

@inproceedings{conf/mkwi/GrebnerOR08,
	title = {KASIMIR - Work process embedded task management leveraging the Semantic Desktop.},
	author = {Olaf Grebner and Ernie Ong and Uwe V. Riss},
	booktitle = {Multikonferenz Wirtschaftsinformatik},
	crossref = {conf/mkwi/2008},
	editor = {Martin Bichler and Thomas Hess and Helmut Krcmar and Ulrike Lechner and Florian Matthes and Arnold Picot and Benjamin Speitkamp and Petra Wolf},
	publisher = {GITO-Verlag, Berlin},
	url = {http://dblp.uni-trier.de/db/conf/mkwi/mkwi2008.html#GrebnerOR08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/251c85063e177043f93b544fcf40c20be/nepomuk},
	description = {dblp},
	ee = {http://ibis.in.tum.de/mkwi08/23_Semantic_Web_Technology_in_Business_Information_Systems/04_Grebner.pdf}, isbn = {978-3-940019-34-9}, date = {2008-02-12},
	keywords = {02 2008 SAP WP10 from:uvriss lang:en taskmanagement }
}

@article{journals/vlsisp/ArnoldBC03,
	title = {Error Analysis of the Kmetz/Maenner Algorithm.},
	author = {Mark G. Arnold and Thomas A. Bailey and John R. Cowles},
	journal = {VLSI Signal Processing},
	number = {1-2},
	pages = {37-53},
	url = {http://dblp.uni-trier.de/db/journals/vlsisp/vlsisp33.html#ArnoldBC03},
	volume = {33},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/20fb2b25d6729801a81e562eae94d7750/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1023/A:1021189701352}, date = {2008-07-22},
	keywords = {dblp }
}

@article{journals/vlsisp/ArnoldBCW03,
	title = {Fast Fourier Transforms Using the Complex Logarithmic Number System.},
	author = {Mark G. Arnold and Thomas A. Bailey and John R. Cowles and Colin D. Walter},
	journal = {VLSI Signal Processing},
	number = {3},
	pages = {325-335},
	url = {http://dblp.uni-trier.de/db/journals/vlsisp/vlsisp33.html#ArnoldBCW03},
	volume = {33},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/2f0dfa68b27f53a9f6165446eda221de7/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1023/A:1022236132192}, date = {2008-07-22},
	keywords = {dblp }
}

@article{journals/aml/BeckmannW96,
	title = {A term rewriting characterization of the polytime functions and related complexity classes.},
	author = {Arnold Beckmann and Andreas Weiermann},
	journal = {Arch. Math. Log.},
	number = {1},
	pages = {11-30},
	url = {http://dblp.uni-trier.de/db/journals/aml/aml36.html#BeckmannW96},
	volume = {36},
	year = {1996},
	biburl = {http://www.bibsonomy.org/bibtex/2211c3e0928fbc96186c80a5f09c6cba9/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s001530050054}, date = {2008-07-17},
	keywords = {dblp }
}

@article{AdaptiveOptimization,
	title = {A Survey of Adaptive Optimization in Virtual Machines},
	author = {Matthew Arnold and Stephen J. Fink and David Grove and Michael Hind and Peter F. Sweeney},
	booktitle = {Proceedings of the IEEE},
	pages = {449-466},
	url = {http://researchweb.watson.ibm.com/people/h/hind/ieee-survey.pdf},
	volume = {93},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2c672e1eee2ca4faa6045aa418ac4233c/gron},
	description = {Welcome to IEEE Xplore 2.0: A Survey of Adaptive Optimization in Virtual Machines},
	abstract = {Virtual machines face significant performance challenges beyond those confronted by traditional static optimizers. First, portable program representations and dynamic language features, such as dynamic class loading, force the deferral of most optimizations until runtime, inducing runtime optimization overhead. Second, modular program representations preclude many forms of whole-program interprocedural optimization. Third, virtual machines incur additional costs for runtime services such as security guarantees and automatic memory management. To address these challenges, vendors have invested considerable resources into adaptive optimization systems in production virtual machines. Today, mainstream virtual machine implementations include substantial infrastructure for online monitoring and profiling, runtime compilation, and feedback-directed optimization. As a result, adaptive optimization has begun to mature as a widespread production-level technology. This paper surveys the evolution and current state of adaptive optimization technology in virtual machines.},
	issn = {0018-9219}, doi = {10.1109/JPROC.2004.840305},
	keywords = {Optimization Thesis VM }
}

@article{journals/aml/BeckmannW00,
	title = {Characterizing the elementary recursive functions by a fragment of Gödel's T.},
	author = {Arnold Beckmann and Andreas Weiermann},
	journal = {Arch. Math. Log.},
	number = {7},
	pages = {475-491},
	url = {http://dblp.uni-trier.de/db/journals/aml/aml39.html#BeckmannW00},
	volume = {39},
	year = {2000},
	biburl = {http://www.bibsonomy.org/bibtex/2371d8a36ce6d870f898d9480854acf0c/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s001530050160}, date = {2008-07-15},
	keywords = {dblp }
}

@article{journals/aml/Beckmann02,
	title = {A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets.},
	author = {Arnold Beckmann},
	journal = {Arch. Math. Log.},
	number = {3},
	pages = {251-257},
	url = {http://dblp.uni-trier.de/db/journals/aml/aml41.html#Beckmann02},
	volume = {41},
	year = {2002},
	biburl = {http://www.bibsonomy.org/bibtex/2d4e90248e1bb4e32bc7427aa3e3175fe/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s001530100107}, date = {2008-07-14},
	keywords = {dblp }
}

@article{journals/tcs/BeckmannBL08,
	title = {From Gödel to Einstein: Computability between logic and physics at CiE 2006.},
	author = {Arnold Beckmann and Edwin J. Beggs and Benedikt Löwe},
	journal = {Theor. Comput. Sci.},
	number = {3},
	pages = {141-143},
	url = {http://dblp.uni-trier.de/db/journals/tcs/tcs394.html#BeckmannBL08},
	volume = {394},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2e06cf9527ba3a91792494703767af6eb/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.tcs.2007.12.016}, date = {2008-07-11},
	keywords = {dblp }
}

@article{Arnold:2005,
	title = {Prognose von Schl{\"u}sselqualifikationen in IT-Serviceunternehmen - Ein umfeldorientierter Blick auf das Jahr 2015},
	author = {B Arnold},
	journal = {Book},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/297290190a16e01b4b808a9140914ec4b/torstenschuenemann},
	id = {17}, ty = {JOUR}, date-added = {2008-07-08 19:29:31 +0200}, date-modified = {2008-07-08 19:29:31 +0200}, journal1 = {Book}, l3 = {papers://4FFA6A6B-1A96-4388-956B-475C0631ECF6/Paper/p17},
	keywords = {LW3-Kapitel }
}