发布求助
文献互助 智能选刊 最新文献

FORTE Workshops最新文献

筛选
英文 中文
Modeling and Testing Agent Systems Based on Statecharts 基于状态图的Agent系统建模与测试
FORTE Workshops Pub Date : 2004-09-27 DOI: 10.1007/978-3-540-30233-9_23
Heui-Seok Seo, Tadashi Araragi, Y. Kwon
{"title":"Modeling and Testing Agent Systems Based on Statecharts","authors":"Heui-Seok Seo, Tadashi Araragi, Y. Kwon","doi":"10.1007/978-3-540-30233-9_23","DOIUrl":"https://doi.org/10.1007/978-3-540-30233-9_23","url":null,"abstract":"","PeriodicalId":408992,"journal":{"name":"FORTE Workshops","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116748862","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
An Approach for Assessment of Electronic Offers 评估电子报价的方法
FORTE Workshops Pub Date : 2004-09-27 DOI: 10.1007/978-3-540-30233-9_4
Bettina Bazijanec, K. Pousttchi, K. Turowski
{"title":"An Approach for Assessment of Electronic Offers","authors":"Bettina Bazijanec, K. Pousttchi, K. Turowski","doi":"10.1007/978-3-540-30233-9_4","DOIUrl":"https://doi.org/10.1007/978-3-540-30233-9_4","url":null,"abstract":"","PeriodicalId":408992,"journal":{"name":"FORTE Workshops","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114841556","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Modeling and Analysis of Dual Block Multithreading 双块多线程的建模与分析
FORTE Workshops Pub Date : 2004-09-27 DOI: 10.1007/978-3-540-30233-9_16
W. M. Zuberek
{"title":"Modeling and Analysis of Dual Block Multithreading","authors":"W. M. Zuberek","doi":"10.1007/978-3-540-30233-9_16","DOIUrl":"https://doi.org/10.1007/978-3-540-30233-9_16","url":null,"abstract":"","PeriodicalId":408992,"journal":{"name":"FORTE Workshops","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133044745","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Performance Evaluation of a SNAP-Based Grid Resource Broker 基于snap的网格资源代理的性能评估
FORTE Workshops Pub Date : 2004-09-27 DOI: 10.1007/978-3-540-30233-9_17
I. Gourlay, M. Haji, K. Djemame, P. Dew
{"title":"Performance Evaluation of a SNAP-Based Grid Resource Broker","authors":"I. Gourlay, M. Haji, K. Djemame, P. Dew","doi":"10.1007/978-3-540-30233-9_17","DOIUrl":"https://doi.org/10.1007/978-3-540-30233-9_17","url":null,"abstract":"","PeriodicalId":408992,"journal":{"name":"FORTE Workshops","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116336418","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times 具有任意服务时间长度的离散GI-D-c队列的延迟分析
FORTE Workshops Pub Date : 2004-09-27 DOI: 10.1007/978-3-540-30233-9_14
Peixia Gao, S. Wittevrongel, H. Bruneel
{"title":"Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times","authors":"Peixia Gao, S. Wittevrongel, H. Bruneel","doi":"10.1007/978-3-540-30233-9_14","DOIUrl":"https://doi.org/10.1007/978-3-540-30233-9_14","url":null,"abstract":"","PeriodicalId":408992,"journal":{"name":"FORTE Workshops","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125426344","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Generation of Integration Tests for Self-Testing Components 为自测组件生成集成测试
FORTE Workshops Pub Date : 2004-09-27 DOI: 10.1007/978-3-540-30233-9_25
L. Mariani, M. Pezzè, David Willmor
{"title":"Generation of Integration Tests for Self-Testing Components","authors":"L. Mariani, M. Pezzè, David Willmor","doi":"10.1007/978-3-540-30233-9_25","DOIUrl":"https://doi.org/10.1007/978-3-540-30233-9_25","url":null,"abstract":"","PeriodicalId":408992,"journal":{"name":"FORTE Workshops","volume":"110 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132299454","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
A Minimal Market Model in Ephemeral Markets 短暂市场中的最小市场模型
FORTE Workshops Pub Date : 2004-09-27 DOI: 10.1007/978-3-540-30233-9_7
Daniel Rolli, Dirk Neumann, Christof Weinhardt
{"title":"A Minimal Market Model in Ephemeral Markets","authors":"Daniel Rolli, Dirk Neumann, Christof Weinhardt","doi":"10.1007/978-3-540-30233-9_7","DOIUrl":"https://doi.org/10.1007/978-3-540-30233-9_7","url":null,"abstract":"","PeriodicalId":408992,"journal":{"name":"FORTE Workshops","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121015863","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
A Process-Oriented Approach Towards Structured Market Modelling 面向过程的结构化市场建模方法
FORTE Workshops Pub Date : 2004-09-27 DOI: 10.1007/978-3-540-30233-9_8
J. Mäkiö
{"title":"A Process-Oriented Approach Towards Structured Market Modelling","authors":"J. Mäkiö","doi":"10.1007/978-3-540-30233-9_8","DOIUrl":"https://doi.org/10.1007/978-3-540-30233-9_8","url":null,"abstract":"","PeriodicalId":408992,"journal":{"name":"FORTE Workshops","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115562808","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Specification of Autonomous Agents in E-commerce Systems 电子商务系统中自主代理的规范
FORTE Workshops Pub Date : 2004-09-27 DOI: 10.1007/978-3-540-30233-9_3
Ismael Rodríguez, M. Núñez, F. Rubio
{"title":"Specification of Autonomous Agents in E-commerce Systems","authors":"Ismael Rodríguez, M. Núñez, F. Rubio","doi":"10.1007/978-3-540-30233-9_3","DOIUrl":"https://doi.org/10.1007/978-3-540-30233-9_3","url":null,"abstract":"","PeriodicalId":408992,"journal":{"name":"FORTE Workshops","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122085129","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges 基于分解的供给聚合与需求聚合交换设计方法
FORTE Workshops Pub Date : 2004-09-27 DOI: 10.1007/978-3-540-30233-9_5
S. Biswas, Y. Narahari, A. Sarma
{"title":"A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges","authors":"S. Biswas, Y. Narahari, A. Sarma","doi":"10.1007/978-3-540-30233-9_5","DOIUrl":"https://doi.org/10.1007/978-3-540-30233-9_5","url":null,"abstract":"","PeriodicalId":408992,"journal":{"name":"FORTE Workshops","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128556776","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书