Busca


Iniciar uma nova busca
Adicionar filtros:

Use filtros para refinar os resultados da pesquisa.


Resultados 20801-20810 de 26265 (Tempo de busca: 0.036 Segundos).
Resultados em Itens:
Data de publicaçãoTítuloAutor(es)
2002Rigorous development of an embedded fault-tolerant system based on coordinated atomic actionsJie Xu; B. Randell; A Romanovsky; Stroud, R.J.; Avelino Francisco Zorzo; Ercument Canver; von Henke, F.
2013An Industrial Experience on using Models to Test Web Service-Oriented ApplicationsAndré Takeshi Endo; Maicon Bernardino da Silveira; Elder Macedo Rodrigues; Adenilso Simão; Flávio M de Oliveira; Avelino Francisco Zorzo; Rodrigo Saad
2014Structural Test Case Generation Based on System ModelsLeandro T. Costa; Avelino Francisco Zorzo; Elder Macedo Rodrigues; Maicon Bernardino da Silveira; Flavio M de Oliveira
2002TLA Specification of a Mechanism for Concurrent Exception HandlingAvelino Francisco Zorzo; Brian Randell; Alexander Romanovsky
2016Smartphone as a Biometric Service for Web AuthenticationRegio A. Michelin; Avelino Francisco Zorzo; Marcia de Borba Campos; Charles V. Neu; Alex M. Orozco
2009Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative studyCAPOZUCCA, A; GUELFI, N; PELLICCIONE, P; ROMANOVSKY, A; Avelino Francisco Zorzo
2011Stochastic Model for QoS Assessment in Multi-tier Web ServicesCzekster, Ricardo M.; Fernandes, Paulo; Sales, Afonso; Webber, Thais; Avelino Francisco Zorzo
2008Uso de Modelos Preditivos e SLAs para Reconfiguração de Ambientes VirtualizadosElder M. Rodrigues; Ana T. Winck; Avelino Francisco Zorzo; Fabio Rossi; Duncan Dubugras Ruiz
2009Reconfiguração de ambientes virtualizados através do uso de Teste Baseado em Modelos e SLAsElder M. Rodrigues; Avelino Francisco Zorzo; Flávio M de Oliveira; Leandro T. Costa
2009Derivação de casos de testes funcionais:uma abordagem baseada em modelos UMLAlex M. Orozco; Kleinner Oliveria; Flavio M de Oliveira; Avelino Francisco Zorzo