News
Heise.de: Forschung: Künstliche Intelligenz für besser… | Forum - heise online
News und Foren zu Computer, IT, Wissenschaft, Medien und Politik. Preisvergleich von Hardware und Software sowie Downloads bei Heise Medien.
Softwarepatentgegner des FFII: "Verein hat seinen Ruf ruiniert"www.pressetext.com › news › softwarepatentgegner-des-ffii-verein-hat-sein...
www.pressetext.com
Mit der ehrlichen Hochachtung des zu recht Verlierers gegenüber dem stärkeren Gewinner,. Holger Blasum. --Ende Zitat--. Die Konten des FFII-Vereins sind ...
Der »Troll« im Patentgeschäft (nd aktuell)
www.nd-aktuell.de
· Holger Blasum vom Förderverein für eine Freie Informationelle Infrastruktur (FFII) sieht im Verhalten des US-Unternehmens ein Symptom für ...
EU-Parlament sagt Nein zu Softwarepatenten
www.finanznachrichten.de
Pressemappe via RSS : feed://presseportal.de/rss/pm_ rss2. Kontaktinformationen Hartmut Pilch and Holger Blasum Münchner Büro
Netzwerk-Profile
LinkedIn: Holger Blasum | LinkedIn
Holger Blasums berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Holger Blasum dabei hilft, ...
LinkedIn: Holger Blasum – Engineer – SYSGO GmbH | LinkedInde.linkedin.com › holgerblasum
Sehen Sie sich das Profil von Holger Blasum auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. 1 Job ist im Profil von Holger Blasum aufgelistet.
Interessen
21C3: Speakers and moderators: Holger Blasum
events.ccc.de
and moderators. Events. Softwarepatente - Rüstzeug zur Debatte. Holger ...
21C3: Referenten und Moderatoren: Holger Blasum
events.ccc.de
21C3 Fahrplan Version st Chaos Communication Congress. Referenten und Moderatoren. Veranstaltungen. Softwarepatente - Rüstzeug zur Debatte. Holger Blasum ...
21C3: Lectures and workshops: Softwarepatente - Rüstzeug zur Debatte
events.ccc.de
Lectures and workshops. Speakers. Holger Blasum. Christian Cornelsson. André Rebentisch ... Vielmehr werden wir der Annahme ausgehend, dass Computerprogramme nicht dem Patentschutz ...
Firmen-Mitarbeiter
Thematisch
www.erste.oekonux-konferenz.de
L1, Holger Blasum, ; Re: [rox] Textbeitraege langsam abliefern. L1, Thomas Uwe Gruettmueller, ; Subject based follow-up(s): Re: Re: [rox] ...
Re: [rox] Textbeitraege langsam abliefernerste.oekonux-konferenz.de › archive › msg00154
erste.oekonux-konferenz.de
Re: [rox] Textbeitraege langsam abliefern. From: Holger Blasum <blasum muc.de>; Date: Sat, 16 Jun :28:33 + On Fri, Jun 08, at 08:12:49PM ...
Private Homepages
Holger Blasum
www.blasum.net
Contact. Email: (remark on email: to be on the safe side, please do not expect me to check email more than once a week, typically on the week-end, so if you have some urgent message, it is safest to make a quick call to my cell phone, like "check your mail "). GPG/PGP key (4096 bit): local copy, keyserver copy Physical address: located near Frankfurt airport, so drop me a line when nearby or ...
The Economic Majority Against Software Patents
www.economic-majority.com
Economic Majority Against Software Patents
Projekte
Python megawidgets / [Pmw-general] Pmw Combobox scroll list...
sourceforge.net
From: Holger Blasum :12:17. Hello Pmw-general, in Fvwm , XFree , python , the program #!/usr/bin/python ...
Bücher
LinuxFocus Index
doc.rz.ifi.lmu.de
Holger Blasum [1]. Nerdbank - een bank initiatief voor open interfaces in elektronische handel. Nerdbank is een project dat een open en veilig systeem ...
Belegloser Datenträgeraustausch: By Author
lists.infodrom.org
Ending: Tue Jan :10:57 CET. Holger Blasum. Re: Needed: DTAUS ...
Computer Aided Verification: 22nd International Conference, CAV
books.google.de
Thanks to VCC users and people who provided the infrastructure: Artem Alekhin, Eyad Alkassar, Mike Barnett, Nikolaj Bjørner, Holger Blasum, Sebastian Bogan, ...
Computer Safety, Reliability, and Security: 28th International...
books.google.de
Computer-based systems have become omnipresent commodities within our - vironment. While for a large variety of these systems such as transportation systems,...
Musik
Full text of "Object-oriented technology : ECOOP workshop reader...
archive.org
Workshop co-chairs: Jacques Malenfant (Universite de Bretagne Sud) Sabine Moisan (INRIA Proceedings of the 2nd International Conference on Meta- Level in its standard blue book specification, has shown the utility of attach- ing handlers to Holger Blasum, Thorsten Weigl - Content management transactions ...
Dokumente zum Namen
Catchup results for cs from Fri, 9 Nov arXiv
arxiv.org
Comments: 5 page paper in Proceeding of International Conference on Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO) of Node Isolation and Minimum Node Degree Distribution in Finite Multi-hop Networks. Authors: Holger Blasum (SYSGO AG, Klein-Winternheim, Germany), Thorsten Bormer ...
Proceedings of the 14th Conference on Formal Methods in Computer ...
repositories.lib.utexas.edu
FMCAD Program Co-Chairs Koen Claessen and Viktor Kuncak Our approach is a novel twist on the One-Way-Catch-Them- Young (OWCTY) algorithm Global variable queue that stores p-states 3 RoundCount ← 0 4 while true do [25] Christoph Baumann, Bernhard Beckert, Holger Blasum, and Thorsten ...
Catchup results for cs from Tue, 23 Oct arXiv.org
arxiv.org
Comments: 31 pages, 3 figures, submitted for publication Germany), Holger Blasum (SYSGO AG, Klein-Winternheim, Germany), Thorsten Bormer (Karlsruhe Institute of Technology, Karlsruhe, Germany) Authors: Jonathan Ullman.
Topluluk : Nerdbank - Elektronik ticarette serbest arayuzler icin...
mirror.wayne.edu
by Holger Blasum Yazar Hakkinda: Oncelikle Qinghai-Tibet platosundaki yesil alanlarda bazi botanik ve mikrobiyolajik verileri analiz etmek gerekliydi ve DOS ...
Wissenschaftliche Veröffentlichungen
Poll for Separation Kernel (microkernel) CC Protection Profile
os.inf.tu-dresden.de
Poll for Separation Kernel (microkernel) CC Protection Profile. Holger Blasum holger.blasum at sysgo.com. Mon Nov :08:22 CET
dblp: BibTeX records: Holger Blasum
dblp.uni-trier.de
List of computer science publications by BibTeX records: Holger Blasum
Poll for Separation Kernel (microkernel) CC Protection Profileos.inf.tu-dresden.de › pipermail › l4-hackers
os.inf.tu-dresden.de
· Hello l4-hackers, On , Holger Blasum wrote: > microkernel-based systems can be used as separation kernels[*] > for security. > > At the ...
Veröffentlichungen allgemein
Formal Verification of a Microkernel Used in SpringerLinklink.springer.com › chapter
link.springer.com
Christoph Baumann; Bernhard Beckert; Holger Blasum; Thorsten Bormer. Christoph Baumann. 1. Bernhard Beckert. 2. Holger Blasum. 3. Thorsten Bormer.
DemoBordeaux0407En - Old wiki
wiki.ffii.org
... jan wildeboer at gmx de, main organiser of Karlsruhe demo); Holger Blasum (blasum, holger at blasum net); Florian Mueller (flomysql, florian at mysql com).
Electronic Proceedings in Theoretical Computer Science - oalib
www.oalib.com
OA Library offers high quality and most updated free academic thesis,open access resource covering various fields.It also provides Comprehensive Research Tool.
On Two Models of Noninterference: Rushby and Greve, Wilding, and...
link.springer.com
Adrian Garcia Ramirez; Julien Schmaltz; Freek Verbeek; Bruno Langenstein; Holger Blasum. Adrian Garcia Ramirez. 1. Julien Schmaltz. 1. Freek Verbeek. 2.
Artikel & Meinungen
Google Groups: OO-Programmierung: naechste Woche umsonst auf die OOP
: Holger Blasum lmu informatik announce tum info general Die OOP ... Gruesse, Holger Blasum PS: Wenn ich beim ankuendigen bin, ...
Google Groups: Remote executables (Newbie)
: Holger Blasum, VERUM STATICON == Posted via Deja News, The Discussion Network == http://www.dejanews.com/ Search, Read, Discuss, ...
Google Groups: 1. Open Source Infotainment Day in München
: ... Holger Blasum 11:00 "Sichere Software by Design: Open Source vs. kommerzielle Entwicklung", Florian Oelmaier 13:00 h "PlainTeX" , Friedrich Schäuffelhut ...
Wikipedia: Computer security - Wikipedia
Computer security, cybersecurity or information technology security (IT security) is the Some cyberattacks are ordered by foreign governments, these governments engage "allow third-party vendors to create numerous points of energy distribution, Christoph Baumann, Bernhard Beckert, Holger Blasum, and Thorsten ...
Sonstiges
Program - FVAV2017
sites.google.com
Sergey Tverdyshev and Holger Blasum. Lightning talk: use of formal models of a partitioning hypervisor for automotive system level properties ...
Weitere - Yahoo Groups
de.groups.yahoo.com
Holger Blasum Jan. # BIETE: Toaster Hallo, ich verschenke einen weißen Tefal-Langschlitztoaster mit abnehmbaren Brötchenaufsatz. Ein Foto ...
[HGI-news-int] escar - Embedded Security in Cars 2013
lists.ruhr-uni-bochum.de
... Gerlach, Igor Furgel, Sergey Tverdyshev and Holger Blasum * Implementation Attacks on an Immobilizer Protocol Stack, by Junko Takahashi ...
Demystifying intellectual property issues (fwd)
www.fitug.de
Regards, -- Holger Blasum pls sign http://petition.eurolinux .org GnuPG 1024D/1CCA C07F5146A against software patents in Europe! ...
Yahoo Groups
de.groups.yahoo.com
Holger Blasum Jan. 09: Holger Blasum + (gsm) GnuPG 1024D/ACDFC3B769DC1ED66B47. Willkommen bei den neuen Yahoo ...
[ox] Re: Revenge of the Nerds (was: [ox] Re: [ox] Re: {völlig} OT:...
www.oekonux.de
From: Holger Blasum ; Date: Sun, 2 Sep :28:06 + Holger Blasum pls sign http://petition.eurolinux.org GnuPG
freecycle-muenchen : Beitrag: BIETE: Allacher Dachbodenfunde ...
de.groups.yahoo.com
an. Falls wer richtig viel abholen will (für Umsonstladen etc) ist auch das willkommen :-) Liebe Grüße, Holger Blasum. Sam 26. Aug :56.
Netzdemo gegen Softwarepatente
www.buha.info
Bitte lesen:
http://swpat.ffii.org/
http://swpat.ffii.org/gruppe/demo/index.de.html
http://wiki.ael.be/index.php/OnlineDemoPartnersWebsites...
[Zope-dev] Naive API question(s)
mail.zope.dev
(in case it boils down to RTFS pls point out which files or which products are fruitful) Many thanks in advance, -- Holger Blasum GnuPG ...
[Zope-dev] LICENSE.txt: license has been certified as Open Source(tm)?
mail.zope.dev
-----Original Message From: .net [mailto:holger@ zentral.iserver.net]On Behalf Of Holger Blasum Sent: Friday, January 21, ...
[ox] Re: Softwarepatentkonferenz
www.oekonux.de
"Alle Beteiligten sollten uns erst mal sagen, wo der Schuh drückt", erläuterte Swantje Weber-Cludius, Referentin für Patentpolitik im BWMi, die Ziele des ...
Holger Blasum - Cyberwatching.euwww.cyberwatching.eu › holger-blasum
www.cyberwatching.eu
Holger Blasum is a research engineer at SYSGO and doing PikeOS verification at SYSGO. He previously studied mathematics at LMU Munich (diploma in ...
Holger Blasum | Professionali.ruprofessionali.ru › Люди
professionali.ru
Holger Blasum. Майнц, Rheinland-Pfalz, Германия. Оставить сообщение. Профиль · Связи. Просмотр профиля пользователя ограничен.
Holger Blasum's Email & Phone - SYSGO AG - Frankfurt Am Main Area,...
13.57.124.132
Holger Blasum's Email. Show email and phone number. Frankfurt Am Main Area, Germany. Engineer @ SYSGO AG.
Holger Blasum - EasyChaireasychair.org › VSL2014 › person3463
easychair.org
Holger Blasum. Organization: SYSGO AG. Pages in this Program. Isabelle on Sunday, July 13th, · Isabelle Program.
Holger Blasum - Re: [gcov] No data gathered for child processesgcc.gnu.org › legacy-ml › gcc-help › msg00196
gcc.gnu.org
From: Holger Blasum ; To: Didier 'Ptitjes' ; Cc: gcc-help at gcc dot gnu dot org, rohithnp at gmail dot com, recker_us ...
Holger Blasum - Re: gcc
gcc.gnu.org
From: Holger Blasum <hbl at sysgo dot com>; To: syam prasad <nagabhairu dot syam at gmail dot com>; Cc: gcc-help at gcc dot gnu dot org; Date: Sat, 21 Jul ...
Holger Blasum - Re: Can gcc-4.2 be used to measure coverage on SMP...
gcc.gnu.org
From: Holger Blasum <hbl at sysgo dot com>; To: nimble dude <nimble dot dude at gmail dot com>; Cc: gcc-help at gcc dot gnu dot org; Date: ...
Holger Blasum - Re: Doubt about -fprofile-generate
gcc.gnu.org
From: Holger Blasum <hbl at sysgo dot com>; To: rafael ferraz <ferrazrafael at yahoo dot com dot br>; Cc: gcc-help at gcc dot gnu dot org; Date: Mon, 18 Oct ...
Holger Blasum - Re: gcov vs. multiple objects derived from the same...
gcc.gnu.org
From: Holger Blasum <hbl at sysgo dot com>; To: Bernd Jendrissek <bernd dot jendrissek at gmail dot com>; Cc: gcc-help at gcc dot gnu dot org; Date: Fri, 7 Mar ...
sortiert nach Relevanz / Datum