Dynamic synthesis of local time requirement for service composition

Dynamic synthesis of local time requirement for service composition

10.1109/ICSE.2013.6606600

Saved in:

書目詳細資料
Main Authors:	Tan, T.H., Andre, E., Sun, J., Liu, Y., Dong, J.S., Chen, M.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2014
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/78112
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Dynamic synthesis of local time requirement for service composition
由: TAN, Tian Huat, et al.
出版: (2013)

Automated synthesis of local time requirement for service composition
由: André, Étienne, et al.
出版: (2021)

Automated synthesis of local time requirement for service composition
由: ANDRÉ, Étienne, et al.
出版: (2020)

Automated synthesis of local time requirement for service composition
由: ANDRÉ, Étienne, et al.
出版: (2020)

Automatic compositional verification of timed systems
由: Lin, S.-W., et al.
出版: (2013)

Verification of functional and non-functional requirements of web service composition
由: CHEN, Manman, et al.
出版: (2013)

PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems
由: André, É., et al.
出版: (2014)

Parameter synthesis for hierarchical concurrent real-time systems
由: Andre, E., et al.
出版: (2014)

Modeling and verifying hierarchical real-time systems using stateful timed CSP
由: Sun, J., et al.
出版: (2013)

Verification of orchestration systems using compositional partial order reduction
由: Tan, T.H., et al.
出版: (2013)

Learning assumptions for compositionalverification of timed systems
由: Lin, S.-W., et al.
出版: (2014)

Automated runtime recovery for QoS-based service composition
由: TAN, Tian Huat, et al.
出版: (2014)

Dynamic web service composition
由: Tan, Li Ling.
出版: (2013)

Automatic compositional verification of timed systems
由: LIN, Shang-Wei, et al.
出版: (2012)

Parameter synthesis for hierarchical concurrent real-time systems
由: ANDRÉ, Étienne, et al.
出版: (2014)

Parameter synthesis for hierarchical concurrent real-time systems
由: ANDRÉ, Étienne, et al.
出版: (2012)

An analyzer for extended compositional process algebras
由: Liu, Y., et al.
出版: (2013)

Model-based methods for linking Web service choreography and orchestration
由: Sun, J., et al.
出版: (2013)

Bounded model checking of compositional processes
由: Sun, J., et al.
出版: (2013)

Compositional encoding for bounded model checking
由: Sun, J., et al.
出版: (2013)

Dynamic web service composition
由: Ng, Yi Xiang.
出版: (2010)

Dynamic web service selection for reliable web service composition
由: HWANG, San-Yih, et al.
出版: (2009)

Analyzing hierarchical complex real-time systems
由: Liu, Y., et al.
出版: (2013)

Dynamics of crowded vesicles: Local and global responses to membrane composition
由: Holdbrook D.A., et al.
出版: (2019)

PSyHCoS: Parameter synthesis for hierarchical concurrent real-time systems
由: ANDRÉ, Étienne, et al.
出版: (2013)

Synthesis of distributed processes from scenario-based specifications
由: Sun, J., et al.
出版: (2013)

Design synthesis from interaction and state-based specifications
由: Sun, J., et al.
出版: (2013)

A verification system for timed interval calculus
由: Chen, C., et al.
出版: (2013)

A model checker for hierarchical probabilistic real-time systems
由: Song, S., et al.
出版: (2013)

Verification of computation Orchestration via timed automata
由: Dong, J.S., et al.
出版: (2013)

Automatically partition software into least privilege components using dynamic data dependency analysis
由: Wu, Y., et al.
出版: (2014)

The arabidopsis RETaRDED ROOT GROWTH gene encodes a mitochondria-localized protein that is required for cell division in the root meristem
由: Zhou, X., et al.
出版: (2014)

On composing a reliable composite web service: A study of dynamic web service selection
由: HWANG, San-Yih, et al.
出版: (2007)

Verifying stateful timed CSP using implicit clocks and zone abstraction
由: Sun, J., et al.
出版: (2013)

Analyzing requirements and traceability information to improve bug localization
由: RATH, Michael, et al.
出版: (2018)

A survey of requirements management in smart product-service systems
由: Wang, Zuoxu, et al.
出版: (2020)

Classification-based parameter synthesis for parametric timed automata
由: LI, Jiaying, et al.
出版: (2017)

Requirement and availability time-window analysis of intermediate function
由: Song, Y., et al.
出版: (2014)

Improved BDD-based discrete analysis of timed systems
由: Nguyen, T.K., et al.
出版: (2013)

PRTS: An approach for model checking probabilistic real-time hierarchical systems
由: Sun, J., et al.
出版: (2013)