发布文献求助
已入深夜，您辛苦了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！祝你早点完成任务，早点休息，好梦！
已完结
  • 文献求助详情
标题
A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement
相关领域
安全性令牌 计算机科学 可扩展性 过程（计算） 启发式 加速 分布式计算 计算机网络 程序设计语言 并行计算 操作系统
网址
https://doi.org/10.1007/978-3-662-63079-2_1
DOI
10.1007/978-3-662-63079-2_1 doi
其它 期刊：Lecture notes in computer science
作者：Alessandro Berti; Wil M. P. van der Aalst
出版日期：2021-01-01
求助人
风中雨竹 在 2025-11-24 21:51:04 发布自安徽，悬赏 10 积分
下载 求助已完成，仅限求助人下载。
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. Framework for instruction-level tracing and analysis of program executions
  2. PinPlay
  3. WebRR: self-replay enhanced robust record/replay for web application testing
  4. Complementary use of runtime validation and model checking
  5. Low-overhead and fully automated statistical debugging with abstraction refinement
  6. Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Progr...
  7. Dara: hybrid model checking of distributed systems
  8. Model-based replay testing for event-driven software
  9. Improving Static Analysis Performance Using Rule-Filtering Technique.
  10. Incremental Verification of Complex Event Processing Applications for System Monitoring
  11. Monitor-based temporal properties checking of train control systems with quantitative constraints
  12. Formal and experimental validation of a low overhead execution replay mechanism
  13. From Network Traces to System Responses: Opaquely Emulating Software Services
  14. A noninterference approach to real-time software testing and debugging
  15. Replay Method of Application's Behavior Based on Template
  16. Testing, Checking, and Hardware Syndrome
  17. A Quick Deterministic Replay Method Based on Dependence Pair
  18. An oversampling approach for mining program specifications
　...点击展开更多...　
该求助已完结，感谢关注
如需该文献，请重新发布求助，前往发布
关注科研痛点，打通你的七经六脉
请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习
更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
浮尘完成签到 ，获得积分10
刚刚
haojiangWu发布了新的文献求助10
3秒前
allshestar完成签到 ，获得积分0
4秒前
爱学习的小霸完成签到，获得积分10
5秒前
今后的应助被mjh采纳，获得10
6秒前
nxy完成签到 ，获得积分10
6秒前
小马甲的应助被xiaobadou采纳，获得10
8秒前
丘比特的应助被xxxxx炒菜采纳，获得10
9秒前
10秒前
16秒前
Dsunflower完成签到 ，获得积分10
17秒前
18秒前
萱瑄爸爸完成签到，获得积分10
18秒前
111发布了新的文献求助10
20秒前
浮游的应助被科研通管家采纳，获得10
22秒前
大模型的应助被科研通管家采纳，获得10
22秒前
坦率灵槐的应助被科研通管家采纳，获得10
22秒前
22秒前
22秒前
汉堡包的应助被科研通管家采纳，获得10
22秒前
CipherSage的应助被科研通管家采纳，获得10
22秒前
24秒前
topteng发布了新的文献求助10
24秒前
刘英岑完成签到，获得积分10
24秒前
doublefive完成签到，获得积分10
25秒前
浮游的应助被任浩采纳，获得30
25秒前
25秒前
小陈666完成签到，获得积分10
26秒前
杨朝辉完成签到，获得积分10
26秒前
26秒前
刘潇静给刘潇静的求助进行了留言
27秒前
27秒前
乐乐的应助被zy采纳，获得10
27秒前
寂川发布了新的文献求助10
28秒前
28秒前
29秒前
FashionBoy的应助被绘海采纳，获得10
30秒前
30秒前
小二郎的应助被追风少年采纳，获得10
31秒前
Moudexiao完成签到 ，获得积分10
31秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
《机器学习——数据表示学习及应用》 600
Holistic Discourse Analysis 600
Vertébrés continentaux du Crétacé supérieur de Provence (Sud-Est de la France) 600
Fiction e non fiction: storia, teorie e forme 500
Routledge Handbook on Spaces of Mental Health and Wellbeing 500
Elle ou lui ? Histoire des transsexuels en France 500
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 纳米技术 计算机科学 内科学 化学工程 复合材料 物理化学 基因 遗传学 催化作用 冶金 量子力学 光电子学
热门帖子
关注 科研通微信公众号，转发送积分 5322817
求助须知：如何正确求助？哪些是违规求助？ 4464179
关于积分的说明 13892462
捐赠科研通 4355623
什么是DOI，文献DOI怎么找？ 2392424
邀请新用户注册赠送积分活动 1386035
关于科研通互助平台的介绍 1355850
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通