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
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
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 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
4
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
5
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
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
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
8
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
9
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
10
Software Component Design with the B Method --- A Formalization in Isabelle/HOL
Software Component Design with the B Method --- A Formalization in Isabelle/HOL
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Software Component Design with the B Method --- A Formalization in Isabelle/HOL

Déharbe, David ; Merz, Stephan

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