skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: Base de dados/Biblioteca: Springer Nature - Springer Lecture Notes in Computer Science eBooks remover tipo de recurso: Book Chapters remover SpringerLINK Lecture Notes in Computer Science (2016) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Contract-Oriented Middleware
A Contract-Oriented Middleware
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Contract-Oriented Middleware

Bartoletti, Massimo ; Cimoli, Tiziana ; Murgia, Maurizio ; Podda, Alessandro Sebastian ; Pompianu, Livio

Formal Aspects of Component Software, 2016, Vol.9539, p.86-104 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
2
An Operational Semantics of BPMN Collaboration
An Operational Semantics of BPMN Collaboration
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Operational Semantics of BPMN Collaboration

Corradini, Flavio ; Polini, Andrea ; Re, Barbara ; Tiezzi, Francesco

Formal Aspects of Component Software, 2016, Vol.9539, p.161-180 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
3
Floating Time Transition System: More Efficient Analysis of Timed Actors
Floating Time Transition System: More Efficient Analysis of Timed Actors
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Floating Time Transition System: More Efficient Analysis of Timed Actors

Khamespanah, Ehsan ; Sirjani, Marjan ; Viswanathan, Mahesh ; Khosravi, Ramtin

Formal Aspects of Component Software, 2016, Vol.9539, p.237-255 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
4
Configuration Logics: Modelling Architecture Styles
Configuration Logics: Modelling Architecture Styles
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Configuration Logics: Modelling Architecture Styles

Mavridou, Anastasia ; Baranov, Eduard ; Bliudze, Simon ; Sifakis, Joseph

Formal Aspects of Component Software, 2016, Vol.9539, p.256-274 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
5
OnPlan: A Framework for Simulation-Based Online Planning
OnPlan: A Framework for Simulation-Based Online Planning
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

OnPlan: A Framework for Simulation-Based Online Planning

Belzner, Lenz ; Hennicker, Rolf ; Wirsing, Martin

Formal Aspects of Component Software, 2016, Vol.9539, p.1-30 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
6
Combinatory Synthesis of Classes Using Feature Grammars
Combinatory Synthesis of Classes Using Feature Grammars
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Combinatory Synthesis of Classes Using Feature Grammars

Bessai, Jan ; Düdder, Boris ; Heineman, George T. ; Rehof, Jakob

Formal Aspects of Component Software, 2016, Vol.9539, p.123-140 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
7
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing

Aceto, Luca ; Larsen, Kim G. ; Morichetta, Andrea ; Tiezzi, Francesco

Formal Aspects of Component Software, 2016, Vol.9539, p.66-85 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models

Bošnački, Dragan ; van den Brand, Mark ; Gabriels, Joost ; Jacobs, Bart ; Kuiper, Ruurd ; Roede, Sybren ; Wijs, Anton ; Zhang, Dan

Formal Aspects of Component Software, 2016, Vol.9539, p.141-160 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
9
A Robust Framework for Securing Composed Web Services
A Robust Framework for Securing Composed Web Services
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Robust Framework for Securing Composed Web Services

Ben Said, Najah ; Abdellatif, Takoua ; Bensalem, Saddek ; Bozga, Marius

Formal Aspects of Component Software, 2016, Vol.9539, p.105-122 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
10
Typed Connector Families
Typed Connector Families
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Typed Connector Families

Proença, José ; Clarke, Dave

Formal Aspects Of Component Software, 2016, Vol.9539, p.294-311 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.