掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Colloquium on Theoretical Aspects of Computing
International Colloquium on Theoretical Aspects of Computing
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
机译:
可扩展分布式的Condolic测试:闪存存储平台的案例研究
作者:
Yunho Kim
;
Moonzoo Kim
;
Nam Dang
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2010年
2.
Testing of Abstract Components
机译:
测试抽象组件
作者:
Bilal Kanso
;
Marc Aiguier
;
Frederic Boulanger
;
Assia Touil
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2010年
关键词:
Component based system;
Coalgebra;
Monad;
Trace semantics;
Transfert function;
Conformance testing;
Test purpose;
3.
SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage
机译:
SmartTestgen +:用于增强结构覆盖的测试套件助推器
作者:
S. Raviram
;
P. Peranandam
;
M. Satpathy
;
S. Ramesh
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
4.
A Conformance Checker Tool CSPConCheck
机译:
一致性检查工具cspconcheck
作者:
Suman Roy
;
Sidharth Bihary
;
Jose Alfonso Corso Laos
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
5.
Data Privacy Using MASKETEER
机译:
使用Masketeer数据的隐私
作者:
Sachin Lodha
;
Nikhil Patwardhan
;
Ashim Roy
;
Sharada Sundaram
;
Dilys Thomas
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
6.
Non-termination Sets of Simple Linear Loops
机译:
简单线性环的非终止组
作者:
Liyun Dai
;
Bican Xia
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
关键词:
Simple linear loop;
Termination;
Non-termination set;
Eigenvalue;
Tarski formula;
7.
A Compositional Hierarchical Monitoring Automaton Construction for LTL
机译:
用于LTL的组成分层监测自动化结构
作者:
Deepak DSouza
;
Raj Mohan Matteplackel
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
8.
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems
机译:
离散时间线性混合系统的量化状态反馈控制的不可偏降性
作者:
Federico Mari
;
Igor Melatti
;
Ivano Salvo
;
Enrico Tronci
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
9.
Using Semantics Specified in Maude to Generate Test Cases
机译:
使用MAUDE中指定的语义来生成测试用例
作者:
Adrian Riesco
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
关键词:
Testing;
Semantics;
Maude;
Coverage;
Property-based;
Narrowing;
10.
A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation
机译:
用于懒惰评估的自然语义的本地无名表示
作者:
Lidia Sanchez-Gil
;
Mercedes Hidalgo-Herrero
;
Yolanda Ortega-Mallen
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
11.
Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols
机译:
在概率公正下的模型检查及其在公平交换议定书中的应用
作者:
David M. Williams
;
Joeri de Ruiter
;
Wan Fokkink
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
12.
Approximate Verification and Enumeration Problems
机译:
近似验证和枚举问题
作者:
Sylvain Peyronnet
;
Michel De Rougemont
;
Yann Strozecki
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
13.
Symbolically Bounding the Drift in Time-Constrained MSC Graphs
机译:
象征性地限制了时间约束的MSC图形的漂移
作者:
S. Akshay
;
Blaise Genest
;
Loic Helouet
;
Shaofa Yang
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
14.
Modal Process Rewrite Systems
机译:
模态流程重写系统
作者:
Nikola Benes
;
Jan Kretinsky
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
15.
Definite Expression Aliasing Analysis for Java Bytecode
机译:
Java字节码的明确表达式锯齿分析
作者:
Durica Nikolic
;
Fausto Spoto
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
16.
S-Narrowing for Constructor Systems
机译:
S缩小构造系统
作者:
Adrian Riesco
;
Juan Rodriguez-Hortala
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
关键词:
Narrowing;
Unification;
Constructor systems;
Maude;
17.
Ensuring Reachability by Design
机译:
通过设计确保可达性
作者:
Benoit Caillaud
;
Jean-Baptiste Raclet
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
18.
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata
机译:
如何将时间逻辑的有效扩展转换为交替自动机
作者:
Cesar Sanchez
;
Julian Samborski-Forlese
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
19.
Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling
机译:
基于环境建模的OSEK / VDX OS设计模型的模型检查
作者:
Kenro Yatake
;
Toshiaki Aoki
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
20.
A Cure for Stuttering Parity Games
机译:
针对口吃奇偶校验游戏的治疗方法
作者:
Sjoerd Cranen
;
Jeroen J. A. Keiren
;
Tim A. C. Willemse
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
21.
Correctness of Object Oriented Models by Extended Type Inference
机译:
通过扩展类型推断对面向对象模型的正确性
作者:
Simon Foster
;
Ondrej Rypacek
;
Georg Struth
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2012年
22.
HOL-TESTGEN/FW An Environment for Specification-Based Firewall Conformance Testing
机译:
HOL-Testgen / FW基于规范的防火墙一致性测试的环境
作者:
Achim D. Brucker
;
Lukas Brugger
;
Burkhart Wolff
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Symbolic test case generations;
Black box testing;
Theorem proving;
Network security;
Firewall testing;
Conformance testing;
23.
HOL-TestGen/fw An Environment for Specification-Based Firewall Conformance Testing
机译:
HOL-Testgen / FW基于规范的防火墙一致性测试的环境
作者:
Achim D. Brucker
;
Lukas Brügger
;
Burkhart Wolff
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
symbolic test case generations;
black box testing;
theorem proving;
network security;
firewall testing;
conformance testing.;
24.
An Interface Model of Software Components
机译:
软件组件的界面模型
作者:
Ruzhen Dong
;
Naijun Zhan
;
Liang Zhao
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Model;
Interface;
Components;
25.
A Probabilistic Logic for pTiMo
机译:
Ptimo的概率逻辑
作者:
Gabriel Ciobanu
;
Armand Rotaru
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
26.
From Distributions to Probabilistic Reactive Programs
机译:
从分布到概率反应计划
作者:
Riccardo Bresciani
;
Andrew Butterfield
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
27.
On Refinements of Boolean and Parametric Modal Transition Systems
机译:
关于布尔和参数模态转换系统的改进
作者:
Jan K?etínsky
;
Salomon Sickert
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Boolean;
Refinements;
Systems;
28.
A Clock-Based Framework for Construction of Hybrid Systems
机译:
基于时钟的混合系统施工框架
作者:
He Jifeng
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
29.
Cruise Control in Hybrid Event-B
机译:
混合事件-B中的巡航控制
作者:
Richard Banach
;
Michael Butler
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
30.
Spatio-temporal Hybrid Automata for Cyber-Physical Systems
机译:
用于网络物理系统的时空混合自动机
作者:
Zhucheng Shao
;
Jing Liu
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Spatio-temporal logic;
CPS;
Hybrid automata;
31.
A High-Level Semantics for Program Execution under Total Store Order Memory
机译:
总商店订单内存下的程序执行的高级语义
作者:
Brijesh Dongol
;
Oleg Travkin
;
John Derrick
;
Heike Wehrheim
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Semantics;
High-Level;
Memory;
32.
Random Walks on Some Basic Classes of Digraphs
机译:
随机散步在一些基本的数字类上
作者:
Wen-Ju Cheng
;
Jim Cox
;
Stathis Zachos
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
complexity;
space bounded complexity classes;
random walks;
digraph search;
reachability;
strong connectivity;
symmetric computation;
L;
RL;
NL;
BPL.;
33.
Mobile Membranes: Computability and Complexity
机译:
移动膜:可计算和复杂性
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Mobile;
Membranes;
Complexity;
34.
Proof Theory of a Multi-Lane Spatial Logic
机译:
多车道空间逻辑的证明理论
作者:
Sven Linker
;
Martin Hilscher
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Spatial logic;
Undecidability;
Labelled natural deduction;
35.
Spatio-temporal Hybrid Automata for Cyber-Physical Systems
机译:
用于网络物理系统的时空混合自动机
作者:
Zhucheng Shao
;
Jing Liu
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Spatio-temporal logic;
CPS;
Hybrid automata.;
36.
Counterexample-Preserving Reduction for Symbolic Model Checking
机译:
符号模型检查的反例抑制减少
作者:
Wanwei Liu
;
RuiWang
;
Xianjin Fu
;
Ji Wang
;
Wei Dong
;
Xiaoguang Mao
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Counterexample-Preserving;
Reduction;
Checking;
37.
A Proof System in PADS
机译:
垫上的证明系统
作者:
Xinghua Yao
;
Min Zhang
;
Yixiang Chen
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
resource demand and resource supply;
hierarchical scheduling;
realtime process algebra;
demand relation.;
38.
A Probabilistic Logic for pTiMo
机译:
Ptimo的概率逻辑
作者:
Gabriel Ciobanu
;
Armand Rotaru
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Logic;
Probabilistic;
pTiMo;
39.
An Interface Model of Software Components
机译:
软件组件的界面模型
作者:
Ruzhen Dong
;
Naijun Zhan
;
Liang Zhao
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
40.
On Refinements of Boolean and Parametric Modal Transition Systems
机译:
关于布尔和参数模态转换系统的改进
作者:
Jan Kretinsky
;
Salomon Sickert
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
41.
Cruise Control in Hybrid Event-B
机译:
混合事件-B中的巡航控制
作者:
Richard Banach
;
Michael Butler
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Cruise;
Control;
Event-B;
42.
Embedding Functions into Disjunctive Logic Programs
机译:
将函数嵌入到分解逻辑计划中
作者:
Yisong Wang
;
Jia-Huai You
;
Mingyi Zhang
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Embedding;
Functions;
Programs;
43.
Reactive Designs of Interrupts in Circus Time
机译:
马戏团中断的反应设计
作者:
Kun Wei
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Interrupt;
UTP;
reactive designs.;
44.
Preemptive Type Checking in Dynamically Typed Languages
机译:
抢先类型检查动态类型的语言
作者:
Neville Grech
;
Julian Rathke
;
Bernd Fischer
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
45.
On Slicing of Programs with Input Statements
机译:
在输入陈述的程序切片上
作者:
H?rmel Nestra
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Programs;
Slicing;
Statements;
46.
A Transformation from p-π to MSVL
机译:
从p-π到msvl的转换
作者:
Ling Luo
;
Zhenhua Duan
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
process algebra;
temporal logic;
π-calculus;
MSVL;
verification.;
47.
Stochastic Pi-calculus Revisited
机译:
随机PI-COMPULUS重新审视
作者:
Luca Cardelli
;
Radu Mardare
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
48.
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration
机译:
持续图形转换规则,用于建模实时重新配置
作者:
Steffen Ziegert
;
Christian Heinzemann
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
graph transformation;
timed execution;
concurrency;
reconfiguration;
verification.;
49.
A Clock-Based Framework for Construction of Hybrid Systems
机译:
基于时钟的混合系统施工框架
作者:
He Jifeng
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Framework;
Clock-Based;
Systems;
50.
Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures
机译:
范围逻辑:用于指向指针和递归数据结构的逻辑的扩展
作者:
Zhao Jianhua
;
Li Xuandong
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Scope;
Logic;
Structures;
51.
Deterministic Logics for UL
机译:
UL的确定性逻辑
作者:
Paritosh K. Pandya
;
Simoni S. Shah
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Deterministic;
Logics;
Unambiguous;
52.
Proof Theory of a Multi-Lane Spatial Logic
机译:
多车道空间逻辑的证明理论
作者:
Sven Linker
;
Martin Hilscher
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Spatial logic;
undecidability;
labelled natural deduction.;
53.
Counterexample-Preserving Reduction for Symbolic Model Checking
机译:
符号模型检查的反例抑制减少
作者:
Wanwei Liu
;
Rui Wang
;
Xianjin Fu
;
Ji Wang
;
Wei Dong
;
Xiaoguang Mao
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
54.
A Proof System in PADS
机译:
垫上的证明系统
作者:
Xinghua Yao
;
Min Zhang
;
Yixiang Chen
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Resource demand and resource supply;
Hierarchical scheduling;
Real-time process algebra;
Demand relation;
55.
Random Walks on Some Basic Classes of Digraphs
机译:
随机散步在一些基本的数字类上
作者:
Wen-Ju Cheng
;
Jim Cox
;
Stathis Zachos
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Complexity;
Space bounded complexity classes;
Random walks;
Digraph search;
Reachability;
Strong connectivity;
Symmetric computation;
L;
RL;
NL;
BPL;
56.
Finitary Fairness in Action Systems
机译:
行动系统的有限公平
作者:
Emil Sekerinski
;
Tian Zhang
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Finitary Fairness;
Modelling;
Termination;
Event-B;
Stepwise Refinement.;
57.
Reactive Designs of Interrupts in Circus Time
机译:
马戏团中断的反应设计
作者:
Kun Wei
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Interrupt;
UTP;
Reactive designs;
58.
Advances in Quantitative Verification for Ubiquitous Computing
机译:
无处不在计算的定量验证进展
作者:
Marta Kwiatkowska
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Advances;
Quantitative;
Computing;
59.
Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures
机译:
范围逻辑:用于指向指针和递归数据结构的逻辑的扩展
作者:
Zhao Jianhua
;
Li Xuandong
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
60.
Embedding Functions into Disjunctive Logic Programs
机译:
将函数嵌入到分解逻辑计划中
作者:
Yisong Wang
;
Jia-Huai You
;
Mingyi Zhang
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
61.
From Distributions to Probabilistic Reactive Programs
机译:
从分布到概率反应计划
作者:
Riccardo Bresciani
;
Andrew Butterfield
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Probabilistic;
Distributions;
Programs;
62.
Deterministic Logics for UL
机译:
UL的确定性逻辑
作者:
Paritosh K. Pandya
;
Simoni S. Shah
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
63.
On Slicing of Programs with Input Statements
机译:
在输入陈述的程序切片上
作者:
Harmel Nestra
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
64.
A Transformation from p-π to MSVL
机译:
从p-π到msvl的转换
作者:
Ling Luo
;
Zhenhua Duan
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Process algebra;
Temporal logic;
π-calculus;
MSVL;
Verification;
65.
Finitary Fairness in Action Systems
机译:
行动系统的有限公平
作者:
Emil Sekerinski
;
Tian Zhang
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Finitary Fairness;
Modelling;
Termination;
Event-B;
Stepwise Refinement;
66.
Mobile Membranes: Computability and Complexity
机译:
移动膜:可计算和复杂性
作者:
Bogdan Aman
;
Gabriel Ciobanu
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
67.
A High-Level Semantics for Program Execution under Total Store Order Memory
机译:
总商店订单内存下的程序执行的高级语义
作者:
Brijesh Dongol
;
Oleg Travkin
;
John Derrick
;
Heike Wehrheim
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
68.
Stochastic Pi-calculus Revisited
机译:
随机PI-COMPULUS重新审视
作者:
Luca Cardelli
;
Radu Mardare
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Stochastic;
Pi-calculus;
Revisited;
69.
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration
机译:
持续图形转换规则,用于建模实时重新配置
作者:
Steffen Ziegert
;
Christian Heinzemann
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Graph transformation;
Timed execution;
Concurrency;
Reconfiguration;
Verification;
70.
Preemptive Type Checking in Dynamically Typed Languages
机译:
抢先类型检查动态类型的语言
作者:
Neville Grech
;
Julian Rathke
;
Bernd Fischer
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
关键词:
Preemptive;
Checking;
Languages;
71.
Advances in Quantitative Verification for Ubiquitous Computing
机译:
无处不在计算的定量验证进展
作者:
Marta Kwiatkowska
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2013年
72.
Event Analytics
机译:
事件分析
作者:
Jin Song Dong
;
Jun Sun
;
Yang Liu
;
Yuan-Fang Li
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
73.
Symbolic Analysis Tools for CSP
机译:
CSP的符号分析工具
作者:
Liyi Li
;
Elsa Gunter
;
William Mansky
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
74.
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue
机译:
并发系统的分布式测试:向救援的矢量时钟
作者:
Hernan Ponce-de-Leon
;
Stefan Haar
;
Delphine Longuet
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
75.
Refinement of Structured Interactive Systems
机译:
结构化互动系统的改进
作者:
Denisa Diaconescu
;
Luigia Petre
;
Kaisa Sere
;
Gheorghe Stefanescu
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
关键词:
Scenario-based refinement;
Interactive systems;
Integration of data flow and control flow;
Coordination programming languages;
Trace semantics;
Stuttering equivalence;
76.
Learning Cover Context-Free Grammars from Structural Data
机译:
学习从结构数据中覆盖无背景语法
作者:
Mircea Marin
;
Gabriel Istrate
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
关键词:
Automata theory and formal languages;
Structural descriptions;
Grammatical inference;
77.
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting
机译:
基于组件的系统设计在分类设置中的异构特征
作者:
Carlos Gustavo Lopez Pombo
;
Pablo F. Castro
;
Nazareno Aguirre
;
Tomas S. E. Maibaum
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
78.
Linguistic Mechanisms for Context-Aware Security
机译:
语言感知安全性的语言机制
作者:
Chiara Bodei
;
Pierpaolo Degano
;
Letterio Galletta
;
Francesco Salvatori
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
79.
Partial Models and Weak Equivalence
机译:
部分模型和弱等价
作者:
Adilson Luiz Bonifacio
;
Arnaldo Vieira Moura
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
关键词:
Test suite completeness;
Partial models;
Weak equivalence;
Confirmed sets;
80.
From Universal Logic to Computer Science, and Back
机译:
从通用逻辑到计算机科学,背部
作者:
Razvan Diaconescu
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
81.
Modular Reasoning for Message-Passing Programs
机译:
消息传递程序的模块化推理
作者:
Jinjiang Lei
;
Zongyan Qiu
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
82.
Context-Free Sequences
机译:
无系统序列
作者:
Didier Caucal
;
Marion Le Gonidec
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
83.
Expressiveness via Intensionality and Concurrency
机译:
通过重载和并发性表达
作者:
Thomas Given-Wilson
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
84.
The Arithmetic of Recursively Run-Length Compressed Natural Numbers
机译:
递归流长压缩自然数的算法
作者:
Paul Tarau
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
关键词:
Run-length compressed numbers;
Hereditary numbering systems;
Arithmetic algorithms for giant numbers;
Representation complexity of natural numbers;
85.
Structural Refinement for the Modal nu-Calculus
机译:
模数的结构细化
作者:
Uli Fahrenberg
;
Axel Legay
;
Louis-Marie Traonouez
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
86.
Precise Interprocedural Side-Effect Analysis
机译:
精确的移植物副作用分析
作者:
Manuel Geffken
;
Hannes Saffrich
;
Peter Thiemann
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
87.
Optimally Streaming Greedy Regular Expression Parsing
机译:
最佳流贪婪的贪婪常规表达式解析
作者:
Niels Bjorn Bugge Grathwohl
;
Fritz Henglein
;
Ulrik Terp Rasmussen
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
88.
UTP Designs for Binary Multirelations
机译:
UTP设计为二进制多旋转
作者:
Pedro Ribeiro
;
Ana Cavalcanti
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
关键词:
Semantics;
Refinement;
Binary multirelations;
UTP;
89.
Probabilistic Recursion Theory and Implicit Computational Complexity
机译:
概率递归理论和隐式计算复杂性
作者:
Ugo Dal Lago
;
Sara Zuppiroli
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
90.
Heterogeneous Timed Machines
机译:
异构定时机器
作者:
Benoit Delahaye
;
Jose Luiz Fiadeiro
;
Axel Legay
;
Antonia Lopes
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
91.
A Logical Descriptor for Regular Languages via Stone Duality
机译:
通过石头二元的常规语言的逻辑描述符
作者:
Stefano Aguzzoli
;
Denisa Diaconescu
;
Tommaso Flaminio
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
关键词:
Regular languages;
Finite automata;
Propositional logic;
Stone duality;
92.
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi
机译:
有限的矢量空间作为简单类型的Lambda-calmuli模型
作者:
Benoit Valiron
;
Steve Zdancewic
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
93.
On Unary Fragments of MTL and TPTL over Timed Words
机译:
关于MTL和TPTL在定时单词上的一轮碎片
作者:
Khushraj Madnani
;
Shankara Narayanan Krishna
;
Paritosh K. Pandya
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
94.
Reasoning Algebraically About Refinement on TSO Architectures
机译:
在TSO架构上的改进原理
作者:
Brijesh Dongol
;
John Derrick
;
Graeme Smith
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
95.
Synchronous Parallel Composition in a Process Calculus for Ecological Models
机译:
生态模型过程微积分中同步并联组成
作者:
Mauricio Toro
;
Anna Philippou
;
Christina Kassara
;
Spyros Sfenthourakis
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
96.
On Clock-Aware LTL Properties of Timed Automata
机译:
关于定时自动机的时钟感知LTL属性
作者:
Peter Bezdek
;
Nikola Benes
;
Vojtech Havel
;
Jiri Barnat
;
Ivana Cerna
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
关键词:
Linear Temporal Logic;
Timed Automata;
Automata-based Model Checking;
97.
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice
机译:
非法定选择并发约束规划的行为同时
作者:
Luis F. Pino
;
Filippo Bonchi
;
Frank D. Valencia
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
98.
A Decidable Recursive Logic for Weighted Transition Systems
机译:
用于加权转换系统的可判定递归逻辑
作者:
Kim Guldstrand Larsen
;
Radu Mardare
;
Bingtian Xue
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2014年
关键词:
Labelled weighted transition system;
Multi-modal logic;
Maximal fixed point computation;
99.
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)
机译:
空中交通管理中的正式方法:无人驾驶飞机系统(邀请讲座)
作者:
Cesar A. Munoz
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2015年
100.
The Proof Technique of Unique Solutions of Contractions
机译:
收缩独特解决方案的证明技术
作者:
Davide Sangiorgi
会议名称:
《International Colloquium on Theoretical Aspects of Computing》
|
2015年
意见反馈
回到顶部
回到首页