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: 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
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
3
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
4
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
5
Asynchronous Coordination of Stateful Autonomic Managers in the Cloud
Asynchronous Coordination of Stateful Autonomic Managers in the Cloud
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Asynchronous Coordination of Stateful Autonomic Managers in the Cloud

Abid, Rim ; Salaün, Gwen ; De Palma, Noel ; Gueye, Soguy Mak-Kare

Formal Aspects of Component Software, 2016, Vol.9539, p.48-65 [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
Composing Constraint Automata, State-by-State
Composing Constraint Automata, State-by-State
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Composing Constraint Automata, State-by-State

Jongmans, Sung-Shik T. Q. ; Kappé, Tobias ; Arbab, Farhad

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

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
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
9
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
10
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes
k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes

De Ruvo, Giuseppe ; Lettieri, Giuseppe ; Martino, Domenico ; Santone, Antonella ; Vaglini, Gigliola

Formal Aspects of Component Software, 2016, Vol.9539, p.181-198 [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.