25.SOFSEM 1998年:斯洛伐克贾斯纳
布拉尼斯拉夫·罗万 :
《SOFSEM’98:信息学的理论与实践》,第25届信息学理论与实践当前趋势会议,斯洛伐克雅斯纳,1998年11月21日至27日,会议记录。 计算机科学课堂讲稿 1521, 施普林格 1998 ,国际标准图书编号 3-540-65260-4
受邀会谈
马尔滕·博阿松 :
分布式反应系统的软件体系结构。 1-18 曼弗雷德·布罗伊 :
模块化软件和系统工程的逻辑基础。 19-35 本尼·乔尔 :
从四分体到系统发生树。 36-53 克里斯托夫·艾林霍夫 , 乌韦·卡斯滕斯 :
并行软件构造的重用方法。 56-67 吉卡·范·埃姆德·博阿斯·卢布森 , 彼得·范·埃姆德·博阿斯 :
在IBM的Business System 12中编译Horn子句规则和早期的声明性实验。 68-88 Rusins Freivalds公司 :
计算模型、黎曼假设和经典数学。 89-106 彼得·哈纳切克 :
电子货币的安全性。 107-121 克劳斯·詹森 , 何塞·D·P·罗利姆 :
基于随机化和线性半定规划的算法。 124-134 温弗里德·拉默斯多夫 , 迈克尔·默兹 , M.Tuan Tu先生 :
电子商务应用的分布式系统技术。 135-148 莱因哈德·吕琳 , 弗朗西斯科·科尔特斯·戈麦斯 , 诺伯特·森森 :
并行交互式媒体服务器系统。 149-166 阿尔贝托·马切蒂-帕卡米拉 :
宽带网络的在线路由问题。 167 罗尔夫·尼德迈尔 :
高效固定参数算法的一些展望。 168-185 克里斯托斯·尼古劳 , 马诺利斯·马拉扎基斯 :
数字图书馆系统基础设施:综述与展望。 186-203 巴特·普雷尼尔 :
密码学导论。 204-221 塞西尔·罗辛 :
创作结构化多媒体文档。 222-239 H.迪特尔·罗姆巴赫 :
工程软件和软件工程。 240-243 鲁彻奇卡 :
高效的通信方案。 244-263 莱昂·斯特劳斯 :
信息系统审计:合作的必要性。 264-274 克莉丝汀·瓦诺尔贝克 :
在业务流程中使用动态文档。 275-284
已投稿论文
马丁·贝兰 :
BSP计算机的计算能力。 285-293 拉多万·塞文卡 :
超媒体应用程序建模。 294-303 Bogdan S.Chlebus公司 :
关于小维Klee测度问题。 304-311 斯特凡·多布雷夫 , 鲁彻奇卡 :
另一种高效领导人选举的模块化技术。 312-321 亨宁·费尔诺 :
具有最左边派生的规范语法。 322-331 卢卡·福利齐 , 恩里科·纳德利 :
关于空间数据建模的一些结果。 332-343 安娜·甘宾 , 亚当·马林诺夫斯基 :
随机混合优先级队列。 344-349 马西耶·盖巴拉 :
从水平和垂直投影重建凸多边形。 350-359 托马斯·赫鲁斯卡 , 彼得·科伦西克 , 米查尔·马赛尔 :
具有多个类对象的模型中的行为安全。 360-370 Costas S.Iliopoulos公司 , 莫琳·科尔达 :
大规模并行后缀数组构造。 371-380 斯拉沃米尔·拉索塔 :
弱双相似性与开放映射。 381-388 弗朗西斯科·穆尼奥斯·埃斯科 , 巴勃罗·加尔达梅斯 , 何塞·M·伯纳贝-奥班 :
复制对象的同步机制。 389-398 弗拉基米尔·诺瓦切克 :
面向对象查询语言的数据挖掘扩展。 399-408 哈娜·鲁多娃 :
带有变量注释和约束层次结构的约束。 409-418 安娜·斯洛博多娃 , 克里斯托夫·梅内尔 :
OBDD最小化的示例方法。 419-428 帕维尔·斯莫兹 , 亚历斯·霍拉克 :
用动词配价分析仪确定TIL结构类型。 429-436 帕维尔·斯莫兹 , 斯蒂芬·哈巴切克 , 米查尔·马丁萨克 :
手写捷克语草书文本的脱机识别。 437-442 帕维尔·瓦努塞克 :
不相交签名理论组合中的自动定理证明。 443-452
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)