2005年第35届INFORMATIK:德国波恩-一级
Armin B.Cremers公司 , Rainer Manthey公司 , 彼得·马蒂尼 , 沃尔克·斯坦哈格 :
35.Jahrestagung der Gesellschaft für Informatik,Informatik LIVE!, INFORMATIK 2005,德国波恩,2005年9月19日至22日,波段1。 LNI公司 P-67, GI公司 2005 ,国际标准图书编号 3-88579-396-2
主题演讲
汉斯·约格·布林格 :
创新现场-IT als Treiber für Business Excellence。 1月12日 威尔弗里德·布劳尔 :
Autonome软件。 13-20 史蒂文·李普纳 :
构建更安全的商业软件:值得信赖的计算安全开发生命周期。 21-28 冈特·杜克 :
“Effizienz würgt!Informatik hilf!”。 29-33 克里斯托夫·冯·德·马尔斯堡 :
Organisches Rechnen-信息革命。 34-38 伯恩德·吉罗德 :
通过互联网传输实时媒体。 39-40
Informatik LIVE für User’LIFE-灵活的集成马赫的möglich!
斯蒂芬·艾尔 , Marten Schönherr公司 :
设计和实施集成器Unternehmensarchitekturen。 42至47 尤尔根·安吉尔 , 汉斯·佩特·施努尔 :
请勿将此档位与切换杆一起使用! 具有语义指南的汽车行业经验。 48-52 亚历山大·塔拉布林 :
使用WERIGO元模型对复杂语义事务进行建模和执行。 53-57 赫尔曼·特本 , 尼科·哈兰德 :
Zur自动化了Konfiguration serviceorientierter Geschäftsprossese。 58-63 安德烈·维尔纳 :
Fertigung kundenindividueller Geschäftsprozesses手套einer加工厂。 64-68 哈尔勒德·朗哥 :
安文登岛的票务系统。 69-73 克劳斯·冯·里根 :
Nutzen和Herausforderungen einer企业服务体系结构。 74至79
ISOS-2005 Informationssysteme mit开源
迈克尔·安伯格 , 斯特芬·莫勒 , 格哈德·罗德尔 :
Ein分析框架zur Bewertung von Open-Source-Migrations studien。 81-85 克里斯蒂安·诺依曼 :
Bewertung von开源框架als Ansatz zur Wiederverwendung。 86-90 斯特凡·科赫 , 克里斯蒂安·诺依曼 :
Evaluierung und Aufwadsabschätzung bei der Integration von Open Source Software-Komponenten开放源码软件的集成。 91-95 奥拉夫·赫登 , 本杰明·弗罗姆 :
Aufbau eines数据仓库mit den Open-Source-Komponenten JPivot,Mondrian und MySQL-Alternative zu kommerziellen Produkten? 96-100 Sascha Deutschkron公司 , 德克·德拉海姆 :
在eine Haushalts-und Controllingsoftware中集成von OpenOffice.org。 101-105 霍尔格·辛里希斯 :
Einsatz von开源软件位于Lehre am Beispiel einer Vorlesung zu XMLTechnologien。 106-110 比约恩·汉森 , 吉塞拉·斯图姆 , 奥拉夫·祖昆夫特 :
Modellgetriebene Softwareentwicklung mit Open-Source Komponenten im industriallen Einsatz:Ein Erfahrungsbericht公司。 111-115 约瑟夫·冯·海尔登 , 斯特凡·沃尔菲尔 :
Eine Sicherheitsarchitektur für offene,lokale Netze:在开源软件中实现? 116-120 罗曼·海丁格 :
Nutzung von开源软件在专有软件projekten-eine Analyse aus urheberrechtlicher Sicht中。 121-125 丹尼尔·温特勒 :
Vertragliche Haftung für OSS公司。 126-130 亚历山大·古德伦·保罗 :
Außervertragliche Haftung für开源软件。 131-136 奥利弗·梅耶 , 肯德拉·斯托克马尔 , 斯特凡·勒克纳 :
Gewährleistungsrechtliche Fragen beim Vertrieb von开源软件im Paket mit kommerzieller软件。 137至141
信息库中的机器人
莫妮卡·穆勒堡 , 约瑟夫·伯瑞丁 , 加比·西迪格 , 乌尔里克·彼得森 :
Informationkausbildung、Roboter und Mädchen。 143-147 格哈德·克莱茨施马尔 :
自由的动机-Zum动机国际机器人杯青年队-韦特比尔本队。 148-152 埃德加·奈特 , 曼努埃拉·坎内贝格 :
Kooperative Roboter im studentischen Softwarepraktikum。 153-157 约阿希姆·赫茨伯格 , 凯·林格曼 , 安德烈亚斯·纽赫特 :
USARSIM-Robotik-Lehre游戏引擎。 158-162 迈克尔·莫克 , 沃尔特诺瓦克 :
艾因·米德尔瓦尔·库斯(Ein Middleware-Kurs)是一名移动机器人。 163-167 托马斯·维斯宾特纳 , 安斯加·布雷登菲尔德 :
大众机器人(VolksBot-ein modularer Roboterbaukasten für Ausbildung und Forschung)。 168-172 卡斯滕·阿尔伯斯 , 卡斯滕·贝思 , 斯文·弗里蒙特 , 尼科尔·卡佐雷克 , 沃尔夫冈·内贝尔 , 安德烈亚斯·夏伦伯格 , 弗兰克·斯隆卡 :
智能系统:莱勒探险家机器人。 173-177 比吉特·克鲁普霍尔茨 , 斯特芬·普吕特 , 弗兰克·戈拉托夫斯基 , 哈特穆特·普勒 :
Vom SPURT-Mobil zu autonomen机器人。 178-182 马丁·费斯莱克 , 布兰迪纳·博格多尔 :
Das Robonauten-Camp公司。 183-187 米莲娜·赖切尔 , 贝蒂娜·索勒 , 安德烈亚斯·维斯内尔·斯泰纳 :
Bremer Aktivitäten-Mädchenförderung durch Robotik-Zwei konkrete项目。 188-192
Der Engpass Mensch-计算机接口aus Der Langzeitperspektive
汉斯·迪特尔·海利格 :
MMK/HCI中的Krisenphasen和Innovationssprünge。 194-198 乌尔夫·哈沙根 :
问题与历史Lösungsspektrum bei der Bedienschnittstelle von Rechen-und Schreibmaschinen。 199 霍斯特·祖斯 :
Zuse-Maschinen的工效学。 200-204 杰勒德·阿尔伯茨 :
Das Verschwinden der Konsole und die Vorläufer des interaktiven“用户”。 205-209 伏里德·奈可 :
利希特格里菲尔。 Zeigen、Zeichnen和Zeichen mit Licht。 210-214年 哈特穆特·佩佐德 :
Das Papier in der Kommunikation zwischen Mensch und Maschine公司。 215-216 马蒂亚斯·穆勒(Matthias Müller-Prove) :
60 Jahre nach Memex:你将在桌面和网络上展示自己。 217-221 迈克尔·弗里德沃尔德 :
环境智能:Auf dem Weg zur Mensch计算机共生? 222-226 英格丽德·吕格 :
Wege und Irrwege der MMK beim可穿戴计算。 227-229 约格·普吕格 :
Verrechneter Kontext公司。 Wandel der Interactions范例。 230-231 霍斯特·奥伯奎尔 :
格式塔通:Geht es ohne Design-Kompetenz? 232-237 何塞·L·恩卡诺 :
HCI-Entwicklung:Visionen und Ansätze出版社。 237 沃尔夫冈·科伊 :
Auf dem Weg zur最终Schnittstelle。 238-239
Situierung、Individualisierung和Personalisierung
斯文·德林 , 安妮特·埃伯勒 , 蒂莫修斯·普雷辛格 :
通过调整偏好查询传递个性化结果集。 241-245 塞巴斯蒂安·施密特 , 赫伯特·斯托扬 :
基于Web的产品技术特征提取。 246-250 艾琳·沃尔特 , 桑德拉·吉尔恩 , 默滕斯 :
参考模型für situierte und personaliete Geschäftsentscheidungen。 251-255 彼得·雷 , 伯恩德·路德维希 , Günther Görz :
einem planbasierten对话系统中的自我反射。 256-260 西蒙·哈默尔 , 马蒂亚斯·威默 , 伯恩德·拉迪格 , 迈克尔·贝茨 :
智能环境中基于传感器的情境、个性化和个性化交互。 261-265 多米尼克·赫克曼 :
情境交互的分布式用户建模。 266-270 桑德罗·莱希特 , 雷纳·施恩宾(Rainer Schönbein) , 莱昂·乌尔巴斯 :
Skalenfreie Netzwerke und Benutzermodellierung公司。 271-275
Wirtschaft和Verwaltung的RFID基础系统
克里斯蒂安·弗洛尔凯梅尔 , 马蒂亚斯·兰佩 :
RFID中间件设计-解决应用程序需求和RFID约束。 277-281 Cathrin板 , 赫尔穆特·罗本 , 克劳斯·李其特 :
Einsatz von RFID Systemen im Shutdown-Management komplexer Anlagen公司。 282-286 阿里·纳扎里·谢里基尼(Ali A.Nazari Shirehjini) :
Autonome Orientierung und Ortung mobiler Multimedia-Geräte in AmI Arbeitsplätzen basierend auf passizen RFID-Tags。 287-291 沃尔夫冈·普林斯 , 泽珊·贾维德 :
使用RFID的文档跟踪和协作支持。 292-296 弗洛里安·雷萨奇 , 丹尼尔·米歇利斯 , 托马斯·席尔德豪尔 , 劳拉·哈特兹 , 格哈德·拉普 , 彼得·马伯格 :
德国航空公司福库斯机场的RFID。 297-301
纳米超大规模集成电路的设计方法
明·D·阮 , 多米尼克·斯托菲尔 , 沃尔夫冈·昆兹 :
使用逐转换FSM遍历增强基于BMC的协议验证。 303-307 丹尼尔·格罗 , 乌尔里希·库恩 , 罗尔夫·德雷克斯勒 :
Befehlssatzes eines SystemC Mikroprozessors正式验证。 308-312 沃尔夫冈·埃克尔 , 洛塔尔·施拉德 :
数字电路自动化设计过程中范式转换的演变。 313 汉斯·马丁·布吕特根 , 克里斯蒂安·索尔 , 多米尼克·兰根 , 马蒂亚斯·格里斯 , 沃尔夫冈·拉布 :
低成本通信平台的应用驱动设计。 314-318 索伦·桑塔格 , 马蒂亚斯·格里斯 , 克里斯蒂安·索尔 :
使用SystemQ对VLSI平台进行性能评估。 319-323 金·格里特纳 , 卡斯滕·贝思 , 沃尔夫冈·内贝尔 :
Kommunikationsgetriebene硬件/软件分区eng eines Netzwerkprotokoll-Stacks auf einer SoC平台。 324-328 彼得·齐普夫 , 奥利弗·索夫克 , 迈克尔·维尔滕 , 曼弗雷德·格莱斯纳 :
在SystemC中抽象出CNT-Elementen纳米电子的Modellierung der Eigenschaften von。 329-333 丹尼尔·米勒 , 吉多·斯特尔 , 赫尔穆特·格雷布 , 乌尔夫·施利特曼 :
基于层次结构的特征空间探索维度模拟积分器Schaltungen。 334-338 海因里希·西奥多·维埃豪斯 , 赫尔穆特·罗斯曼 :
Submikron-Technologien中的功率/时间优化für Zellen-basierte Digitalschaltungen。 339-343 保罗·祖伯 , 弗洛里安·赫尔穆特·米勒 , 沃尔特·斯特切尔 :
通过线间距优化CMOS电源的潜力。 344-348
Präzisionslandvirtschaft mit GIS und ofenen Systemen公司
A.施密德 , F.X.梅德尔 :
Einflußfaktoren auf spektraptische Reflexionssignaturen zur Bonitur der Biomasse und des Stickstoffstatus von Winterweizen(温特魏曾生物研究所所长)。 350-354 多米尼克·迪克 , 沃尔特·库巴赫 :
位于Mais的Einsatz von satellitenestützter Fernerkundung zur Früherkennung von herbizidbedingten Schäden。 355-359 马丁·巴赫迈耶 :
通过比较绘图和监控产量值来优化产量图的选定邻域。 360-364 卡尔·奥托·温克尔 , 威尔弗里德·米歇尔 , 詹斯·博伯特 , 拉尔夫·维兰德 :
Modellgestützte Generierung von Ertragserwartungskarten公司。 365-369 乔治·斯坦伯格 , 马蒂亚斯·罗特蒙德 , 赫尔曼·奥尔哈默 :
集成制造商Erfassungsmöglichkeiten在Systeme zur automatischen Prozessdatenerfassung als ein weiterr Schritt zur Automatisierung der Dokumentation。 370-374 彼得·科尔杜 , 爱德华·纳什 :
在GML中集成ISO和agroXML。 375至379
DFG-Projektgruppen研讨会
Tag der Graduiertenkollegs公司
萨宾·莫恩科默(Sabine Mönkemöller) , 杰里特·桑塔格 :
Fördemöglichkeiten durch die DFG公司。 381-386 托马斯·齐默尔曼 :
学习项目历史以支持程序员。 387-390 英格玛·梅内克 :
Gewichtte verzweigende Automaten公司。 391-394 伊娜·希弗德克 :
UML 2.0测试概要作为集成系统和测试开发的基础。 395-399 马库斯·菲德勒 :
概率网络微积分的服务器模型。 400-404 Timo警告 :
关于主动安全的覆盖:对故障分类的补充。 405-409 费利克斯·C·弗雷林 , 内拉杰·米塔尔 , 露西娅·德拉克·彭索 :
安全和容错分布式计算中的转换。 410-412 詹姆斯·格茹斯 , 亚当·沃利斯 , 汉斯·弗洛里安·吉尔德斯 :
动态OFDMA无线系统中的信令开销。 413-418 珍妮·里希亚尔维 , 佩特里·梅赫宁 :
关于网络的推理。 419-423 汉斯·阿诺·雅各布森 :
ToPSS-多伦多发布/订阅系统系列。 424-428 斯文·赫歇尔 :
索引动态网络。 429-433 丹尼尔·凯姆 , 弗洛里安·曼斯曼 , 托比亚斯·施雷克 :
使用时间、空间和基于内容的可视化技术分析电子邮件。 434-438 奥利弗·古特 , 奥托·斯潘尼奥尔 :
Graduiertenkollegs:Eliteförderung或秃顶Regelfall? 439
DFG-Schwerpunkt项目1076: Grundlagen und Verfahren verlustarmer信息verarbeitung
周军(音) , 汉斯·约阿希姆·旺德利希 :
软件支持Selbstest von Prozessorkernen unter Verlustelistungsbeschränkung。 441 克里斯蒂安·内布 , 诺伯特·韦恩 :
Basisband的最小能量通过salgorithmen auf程序mierbaren Plattformen发出信号。 442 多米尼克·詹津 :
Zusammenhang zwischen热力学可逆,kryptograpisch seitenkanalfreiem sowie quantenkohärentem Rechnen。 443 柳比卡字根 , 沃尔夫冈·马蒂斯 :
Modellordnungsreduktion zur Verlustelistungsreduzierung数字信号传输系统的方法。 444 Manish Verma公司 , 彼得·马韦德尔 :
低功耗嵌入式处理器的内存优化技术。 445 尤根·菲舍尔 , 菲利普·泰赫曼 , 埃托雷·阿米兰特 , 多丽丝·施密特·兰西德尔 :
Adiabatische Schaltungstechnik公司的能源优化。 446 马吕斯·沃尔默 , Jürgen Götze先生 :
与Logik辐射防护系统并行的Signalverarbeitung。 447 克莱门斯·施拉赫塔 , 奥利弗·索夫克 , 彼得·齐普夫 , 曼弗雷德·格莱斯纳 :
Eine weiterentwicket准静态绝热Logikfamilie。 448 斯蒂芬·赫尔曼斯 , 索林·A·胡斯 :
Synchronisierungsprobleme von Schaltwerken在Wahl der Schaltungstechnik Wave Pipeling Architektur und ihre Auswirkungen auf die Wahl de Schaltunkstechnik。 449 弗兰克·格拉斯特 , 弗兰克·西尔 , 克拉斯·科尼利厄斯 , 德克·蒂默曼 :
Verlustelistungsreduzierung bei dynamichen TSPC-Schaltungstechniken公司。 450 马尔科·罗勒 , 克劳迪娅·克雷茨赫马尔 , 迪特马尔·米勒 :
DSM技术中的低功率Buskodierverfahren für Verlustelistungsruktion。 451 托马斯·罗登堡 , 沃尔克·霍曼 , 伯格·科尔梅耶 :
Matlab Simulations umgebung zur Entwicklung von Algorithmen der Audio-Signalverarbeitung am Beispiel des verlustelistungsoptimierten Entwurfs von Hörgerätealgorithmen.(Matlab仿真)。 452 Bärbel Mertsching公司 , 托马斯·艾森巴赫 , 弗兰克·施密特迈尔 , 尼古拉·沃伊 , H.王 :
低功耗音频信号处理的高级电路设计。 453 阿恩·舒尔茨 , 沃尔夫冈·内贝尔 :
Verlustlestungsabschätzung und-optimierung auf hohen Abstraktionsebenen:Modellierung von Funktonskomponenten und Leitungslängenabschátzng。 454 阿奇姆·雷特伯格 , 伯恩德·克莱因霍恩 , 弗兰兹·J·拉米格 :
Spezielle Aspekte der Verlustelestungsgetriebenen高级合成。 455 安德烈亚斯·科尼 :
Ganzheitlicher Entwurf verlustelestungsarmer Schaltungen für Sensorsignalverabitung und Erkennung公司。 456 马蒂亚斯·米勒 , 斯文·西蒙 :
Prozessorsystemen中的Datenskalierung für die verlustelistungarme Signalverarbeitung。 457 马提亚斯·温特 , 彼得·皮尔希 :
Von abstraken Architekturtemplates zur hardwarenahen Architek.建筑勘探。 458 埃米尔·马图斯 , 戈登·西科恩 , 亨德里克·塞德尔 , 巴勃罗·罗伯利 , 托尔斯滕·林伯格 , 格哈德·费特维斯 :
一种编译器友好的低功耗DSP架构。 459 德克·S·瓦尔德豪泽 , 约瑟夫·诺塞克 :
Bandbreiteneffizientes Mehrträgerverfahren mit verlustelistunsarmen digitalen过滤器。 460 Uwe Schwiegelshohn公司 , 埃德温·纳罗斯卡 :
Verlustelistungarme Fehlerschutzprotokolle基本型和punktierten低密度奇偶校验码(LDPC)。 461
专题讨论会
延斯·吕塞姆 , 拉尔夫·慕丘 , 沃尔夫冈·波尔 :
Tag der Schule公司。 462-463 尤尔根·拜耶尔 , J.格罗什 :
Tag der außeruniversitären Forschungseinrichtungen。 464-465 伯恩哈德·哈默里 , 斯蒂芬·沃尔瑟森 :
关键(信息)基础架构保护。 466-467年 莱因哈德·克莱因 , 莱夫·科贝尔 :
Graphische Datenverabeitung公司。 468-469 卡尔·海因茨·罗迪格 :
计算机实现者埃尔芬登。 470至472