没有合适的资源?快使用搜索试试~ 我知道了~
资源推荐
资源详情
资源评论
收起资源包目录
FACS 2006-2011 汇集 (120个子文件)
Reachability in Tree-Like Component Systems.pdf 4.48MB
FACS 2009 full version.pdf 4.48MB
Automated Formalisation for Verification of Diagrammatic Models.pdf 4.48MB
1-s2.0-S1571066109005131-main.pdf 2.17MB
Bandera Extracting Finite-state Models from Java Source Code.pdf 1.68MB
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.pdf 1.16MB
Decomposition of Constraint Automata.pdf 1.07MB
QoS Contracts-Aware Reconfiguration of Component Architectures using e-Graphs.pdf 1.06MB
Model Checking of Component Protocol Conformance – Optimizations by Reducing False Negatives5.pdf 1.04MB
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies.pdf 1009KB
Interactive Transformations from Object-Oriented Models to Component-Based Models.pdf 859KB
1-s2.0-S1571066109005209-main.pdf 773KB
Polato_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 773KB
1-s2.0-S157106610900512X-main.pdf 750KB
Verifying Safety of Fault-Tolerant Distributed Components.pdf 742KB
1-s2.0-S1571066109005210-main.pdf 732KB
1-s2.0-S1571066109005179-main.pdf 696KB
Evaluating the performance of model transformation styles in Maude.pdf 689KB
Cubo_2008_Electronic-Notes-in-Theoretical-Computer-Science.pdf 630KB
Kim_2008_Electronic-Notes-in-Theoretical-Computer-Science.pdf 608KB
Verifying Temporal Properties of Use-Cases in Natural Language.pdf 580KB
Happe_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 574KB
Cámara_2008_Electronic-Notes-in-Theoretical-Computer-Science.pdf 562KB
Using Temporal Logic for Dynamic Reconfigurations of Components.pdf 557KB
Barros_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 540KB
1-s2.0-S1571066109005192-main.pdf 534KB
QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs.pdf 521KB
Aspect Weaving in UML Activity Diagrams A Semantic and Algorithmic Framework.pdf 510KB
Arbab_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 506KB
Synthesis of Hierarchical Systems.pdf 500KB
Bigraphical Modelling of Architectural Patterns.pdf 496KB
A proof assistant based formalization of MDE components.pdf 493KB
Kallel_2008_Electronic-Notes-in-Theoretical-Computer-Science.pdf 465KB
Černá_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 463KB
Blechmann_2008_Electronic-Notes-in-Theoretical-Computer-Science.pdf 461KB
Baumeister_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 460KB
Wen_2006_Electronic.pdf 455KB
The Logic of XACML – Extended.pdf 454KB
Component Service Promotion Contracts, Mechanisms and Safety.pdf 448KB
Rodrigues_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 439KB
Fagorzi_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 429KB
Graph Representation of Sessions and Pipelines for Structured Service Programming.pdf 429KB
Barros_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 427KB
1-s2.0-S1571066109005234-main.pdf 425KB
1-s2.0-S1571066109005180-main.pdf 421KB
A Modal Specification Theory for Components with Data.pdf 417KB
Heydarnoori_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 415KB
Bastide_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 412KB
Rutten_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 411KB
Elmqvist_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 399KB
Using Temporal Logic for Dynamic Reconfigurations of Components.pdf 393KB
Analysis of Service Oriented Software Systems with the Conversation Calculus.pdf 390KB
1-s2.0-S1571066109005118-main.pdf 390KB
1-s2.0-S1571066109005118-main(1).pdf 390KB
Belguidoum_2008_Electronic-Notes-in-Theoretical-Computer-Science.pdf 387KB
He_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 382KB
Behaviour Protocols for Interacting Stateful Components.pdf 381KB
Kemper_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 380KB
Weakest Precondition Semantics for OO Programs.pdf 377KB
Bellegarde_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 376KB
Reeves_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 373KB
Majster-Cederbaum_2008_Electronic-Notes-in-Theoretical-Computer-Science.pdf 369KB
Carlson_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 369KB
Chouali_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 365KB
1-s2.0-S1571066109005155-main.pdf 358KB
van-Weerdenburg_2008_Electronic-Notes-in-Theoretical-Computer-Science.pdf 358KB
Lumpe_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 357KB
Schäz_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 354KB
1-s2.0-S1571066109005222-main.pdf 354KB
Monitoring Method Call Sequences Using Annotations.pdf 353KB
Belguidoum_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 352KB
Model Checking Adaptive Multilevel Service Compositions.pdf 350KB
Poizat_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 350KB
Van-Roy_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 348KB
Fernandes_2008_Electronic-Notes-in-Theoretical-Computer-Science.pdf 346KB
Component Service Promotion Contracts, Mechanisms and Safety.pdf 346KB
Jezek_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 345KB
Zhang_2006_Electronic.pdf 342KB
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation6.pdf 341KB
PobSAM Policy-based Managing of Actors in.pdf 339KB
Systems-Theoretic View of Component-Based Software Development.pdf 339KB
1-s2.0-S1571066109005167-main.pdf 337KB
Schätz_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 334KB
Cengarle_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 334KB
A Separation Logic for OO Programs.pdf 332KB
1-s2.0-S1571066109005143-main.pdf 328KB
Malcolm_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 321KB
Malcolm_2006_Electronic-Notes-in-Theoretical-Computer-Science_1.pdf 321KB
Raclet_2008_Electronic-Notes-in-Theoretical-Computer-Science.pdf 319KB
Distributed Adaption of Dining Philosophers.pdf 316KB
Bocchi_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 316KB
Schätz_2008_Electronic-Notes-in-Theoretical-Computer-Science.pdf 313KB
Stuckenholz_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 313KB
Middelkoop_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 310KB
A Lightweight Approach to Customizable Composition Operators for Java-like Classes.pdf 302KB
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries.pdf 299KB
A Separation Logic for OO programs.pdf 293KB
Parizek_2007_Electronic-Notes-in-Theoretical-Computer-Science.pdf 289KB
Amaro_2006_Electronic-Notes-in-Theoretical-Computer-Science.pdf 281KB
Model Checking Adaptive Multilevel Service.pdf 277KB
共 120 条
- 1
- 2
资源评论
- zhengh92014-03-11很是有用的微表情学习库,不过要耐心看里面成千张图片不容易
- zflinshi2014-12-04不符合标题的内容
jiangdmdr
- 粉丝: 57
- 资源: 774
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功