Universidade Federal Fluminense – UFF

Escola de Engenharia

Departamento de Engenharia de Telecomunicações

Relatório Científico

Projeto 401192/2003-2

Software Livre para Serviços de TV Interativa

Débora Christina Muchaluat Saade

Período de Atividades: janeiro de 2004 a abril de 2006

Junho de 2006

1. Introdução

Os objetivos principais deste projeto concentraram-se no desenvolvimento de ferramentas de apoio para TV interativa. Estas ferramentas compreenderam desde linguagens de autoria a protocolos para entrega de conteúdo, e foram divididas em três linhas de trabalho distintas:

• Autoria de documentos hipermídia

• Protocolos de streaming

• Modelagem formal de sistemas de tempo real Além da sinergia na aplicação alvo, a TV interativa, a geração de software livre nestas áreas tem aplicação imediata em diversas outras áreas, como educação à distância e entretenimento. A seguir cada área de atuação é descrita, contextualizando melhor cada problema atacado.

O primeiro problema contemplado foi a autoria de Sistemas Hipermídia. Sistemas Hipermídia são aplicações cliente/servidor para suporte ao tratamento de documentos multimídia interativos (documentos hipermídia). Exemplos de documentos hipermídia podem ser encontrados na Web (WWW), nos programas de TV interativa, em aplicações de videoconferência, telemedicina, etc.

Ao contrário da Web, os sistemas hipermídia para TV Interativa ainda não seguem um padrão para especificação de documentos, nem para seu intercâmbio. Clientes (formatadores) são implementados em set-top boxes, que se interligam a servidores utilizando formatos e protocolos proprietários. É possível encontrar desde clientes e servidores Java interagindo através de troca de objetos com RMI (procedimento Java para troca de objetos remotos), até propostas para utilização de documentos XML na especificação de programas.

Outro padrão que pode ser utilizado para especificação de programas de TV Interativa é o MPEG-4. Esse padrão não só permite que o usuário assista passivamente a um vídeo, mas também oferece acesso e manipulação dos objetos individuais que compõem uma cena dentro da seqüência do vídeo. A linguagem usada para descrever e modificar os objetos é chamada BIFS (Binary Format for Scenes). Entretanto, a autoria de aplicações MPEG-4 diretamente em BIFS não é trivial, pois a linguagem utiliza um formato binário.

Esforços recentes têm sido dedicados ao desenvolvimento de outras linguagens declarativas para autoria de documentos, que permitem a especificação de relacionamentos de sincronização temporal e espacial entre seus componentes, baseadas em modelos de maior poder de expressão que o modelo usado na Web. A linguagem NCL [Much03, MuSiSo03] satisfaz os requisitos necessários para a especificação completa de um documento hipermídia. Além de oferecer funcionalidades básicas para a definição dos componentes do documento e dos relacionamentos entre eles, NCL permite a especificação de documentos de forma estruturada, a representação de tipos diferentes de objetos de mídia, a especificação de relacionamentos espaço-temporais complexos entre componentes, a definição das características de apresentação separada da definição dos componentes, a especificação do comportamento temporal do documento de uma forma flexível, a possibilidade de adaptação de um documento à plataforma em que ele estiver sendo exibido, ou ao usuário final, e o reuso de especificações prontas. Dessa forma, NCL pode ser uma solução para autoria de documentos que satisfazem necessidades de aplicações multimídia mais complexas,

como por exemplo, TV Interativa. NCL, tal como HTML, é uma linguagem baseada em XML, de código aberto, o que permite seu uso para autoria de documentos através de um simples editor de texto.

Assim sendo, um dos objetivos do projeto foi utilizar NCL para a especificação de programas de TV Interativa e desenvolver a integração entre NCL e MPEG-4, construindo um compilador NCL como um software livre, de código aberto, que gere uma especificação correspondente em BIFS (linguagem binária para especificação de cenas de MPEG-4).

O segundo problema estudado foi a transmissão do conteúdo hipermídia. A transmissão de vídeo unicast na Internet é um tópico de grande importância, e não há ainda solução disponível em software livre. Em projetos como Educação à Distância, é essencial existir um método de comunicação entre o professor e o aluno em tempo real, sendo a transmissão de vídeo parte importante do conjunto de software necessário. Apesar do fato que tanto o "Real Player" da Real Networks quanto o "Windows Media Player" da Microsoft não terem custo para o cliente final, seu formato é proprietário e o custo do servidor é alto. A estratégia de distribuição usando servidores pagos e clientes gratuitos permitiu a ambos, e em menor escala ao QuickTime, terem grande penetração e enorme base instalada. No entanto, os algoritmos usados não são de domínio público, e existem dúvidas [Rejaie99] se estas soluções são escaláveis (na sua forma atual) devido aos seus algoritmos de controle de congestionamento.

Deve-se lembrar que fluxos de vídeo são inerentemente diferentes dos fluxos de dados ora transportados via TCP. Como TCP introduz atrasos e "jitter", e possui uma confiabilidade muitas vezes desnecessária (já que a maior parte dos fluxos multimídia é resiliente a perdas), os fluxos passam a ser transportados via UDP, com uma camada de controle proprietária ao nível de aplicação. UDP não possui controle de congestionamento, e mecanismos indicados atualmente para melhorar o uso da rede, como o RED [Floyd93] não tem influência em seu comportamento.

As razões apresentadas acima podem potencialmente levar a um novo colapso por congestionamento da Internet, que já aconteceu uma vez devido às deficiências das versões de TCP então em uso [Ja88]. A existência de uma versão livre de "streaming" não só permite que mais empresas e o governo usem esta ferramenta, como permite o estudo das diferentes alternativas existentes para controle de fluxo que não têm impacto negativo na transmissão de vídeo, e ao mesmo tempo não impactam negativamente a rede.

Pesquisas na característica dos fluxos multimídia em enlaces com taxa de erro não desprezível levaram à criação do "Multimedia Multiplexing Transport Protocol", MMTP [MK01]. As características básicas do MMTP são ter transmissão periódica, medição da largura de banda disponível na rota para adequação do fluxo, priorização de pacotes conforme sua importância, controle de "prazo de validade" na origem e recuperação de falhas via retransmissão. Uma solução de streaming baseada em MMTP é significativamente diferente do uso de RTP/RTCP [ScFJ96] pelos seguintes motivos: um mesmo canal é usado para controle e dados, o protocolo faz escolhas inteligentes de pacotes a serem descartados no caso da banda requerida pela aplicação ser maior que a banda disponível e a realimentação das mudanças nas características do meio ser mais rápida, principalmente se múltiplas tecnologias de rede estiverem disponíveis na origem/destino.

Outro objetivo do projeto consistiu no desenvolvimento, em software livre, para um servidor e programas clientes para realizar streaming de vídeo MPEG. O programa

cliente, compatível com Linux, pode executar em um set-top box de TV Interativa (que também utilize Linux), possibilitando a utilização do protocolo MMTP como uma solução para transporte de dados para oferecimento de serviços de TV Interativa em uma plataforma de software livre.

O terceiro problema investigado foi a modelagem formal de sistemas de tempo real. Sistemas Multimídia, como os que estão presentes em serviços de TV Interativa, podem ser classificados como Sistemas de Tempo Real (STR) [Stan96]. Devido à complexidade dessa classe de sistemas, cada projeto constitui um investimento de risco significativo. Os erros incorridos na fase correspondente a elicitação de requisitos têm sido contabilizados como os principais responsáveis pelas falhas graves observadas em sistemas de computação [Lev91, Boe75]. Também é verificado que o custo para remover esses erros em sistemas prontos é muito maior do que para corrigir os erros detectados em fases posteriores do processo de desenvolvimento do software [Boe75].

O emprego de um método formal para a especificação de um sistema [Car99, Júnr98] garante a qualidade final do produto, pois permite a análise da consistência e a simulação do comportamento do sistema modelado, mas apresenta desvantagens [Bruel98], tais como a dificuldade de compreensão do modelo elaborado, o que as tornam pouco atraentes. O emprego da modelagem OO [Boo96, Jac95, Rum96] vem conquistando adeptos a cada dia que passa, principalmente pela possibilidade de reuso dos módulos de software já desenvolvidos. Contudo, as técnicas deste tipo de modelagem ainda requerem um maior formalismo para a especificação de requisitos [Car99] e, quando comparadas com as técnicas formais, apresentam lacunas que dão origem a falhas na especificação.

A lacuna existente entre esses dois extremos do desenvolvimento de sistemas cria a necessidade de se estabelecer uma ponte que os interligue, de modo a permitir a formalização de modelos OO, permitindo: (i) a verificação dos modelos construídos; e (ii) transformando o desenvolvimento de sistemas em uma atividade com etapas bem definidas, cujo produto resultante apresente um elevado nível de qualidade e segurança sem, contudo, perder-se a inteligibilidade dos modelos obtidos.

StateCharts são um formalismo visual desenvolvido para modelagem de sistemas reativos [Har87], nos quais os sistemas de tempo real e de segurança crítica se enquadram. StateCharts estendem as máquinas de estados finitas com a adição de hierarquia, concorrência e comunicação. Essas extensões permitem especificar sistemas com níveis de complexidade que seriam inviáveis com máquinas de estados finitas convencionais. Máquinas de estado finitas são modelos verificáveis.

Model Checking é uma técnica de verificação formal usada em vários tipos de aplicações [CGL94]. Basicamente, um Model Checker explora exaustivamente todo o espaço de estados de uma máquina de estados para checar a validade de alguma fórmula em lógica temporal.

A definição de uma linguagem para descrever textualmente Statecharts (linguagem SCSL) facilita sua adoção na especificação de sistemas e permite o desenvolvimento de um compilador. Outro objetivo desse projeto foi a especificação de uma linguagem simples e de fácil aprendizado aos programadores – SCSL – para modelar sistemas baseados em StateCharts de forma textual, e o desenvolvimento de um compilador de código livre para esta linguagem que gere código executável e especificações formais verificáveis com o apoio de um Model Checker. Também como política de desenvolvimento, a ferramenta foi construída com base em software livre.

2. Atividades Realizadas

As atividades principais realizadas durante o projeto foram as seguintes:

a) Linha de autoria de documentos hipermídia, sob responsabilidade da Profa. Débora Christina Muchaluat Saade (coordenadora do projeto):

1. Estudo do padrão MPEG-4

2. Estudo sobre set-top boxes para TV Digital Interativa

3. Estudo sobre Padrões de Middleware para TV Digital

4. Estudo sobre infra-estrutura para o desenvolvimento de aplicações para TV Digital Interativa

5. Comparação entre a linguagem NCL e XMT/MPEG-4

6. Desenvolvimento do perfil de linguagem NCL-MPEG/4

7. Desenvolvimento do compilador NCL-MPEG/4 para BIFS. Na verdade, foi desenvolvido um compilador NCL para XMT-O em Java e depois utilizado o pacote IBM ToolKit for MPEG-4 para fazer a conversão XMT-O para BIFS

8. Realização de testes de execução de documentos criados através do perfil NCL-MPEG/4 em um player MPEG-4 disponível no pacote IBM ToolKit for MPEG-4

b) Linha de protocolos de transporte multimídia, sob responsabilidade do Prof. Luiz Cláudio Schara Magalhães (pesquisador participante do projeto):

1. Implementação do protocolo MMTP

2. Testes do Protocolo

3. Desenvolvimento do servidor MMTP

4. Testes do Servidor

5. Documentação de Instalação do Servidor

6. Desenvolvimento do Cliente MMTP em Linux

7. Testes do Cliente Linux

8. Documentação do Cliente

b) Linha de modelagem formal de sistemas, sob responsabilidade da Profa. Maria Luíza D’Almeida Sanchez (pesquisadora participante do projeto):

1. definição da linguagem SCSL

2. implementação do compilador SCSL

3. mapeamento de Statechart para lógica de reescrita

4. implementação do gerador de código Maude

5. elaboração dos modelos exemplos para validação da linguagem e da ferramenta

6. revisão de SCSL

7. revisão da ferramenta

3. Resultados Obtidos

Resumo dos resultados obtidos:

• Especificação de 2(duas) linguagens;

• Desenvolvimento de 6 (seis) softwares livres;

• 2 (duas) dissertações de mestrado concluídas;

• 2 (duas) orientações de iniciação científica concluídas e 2 em andamento;

• 8 (oito) artigos publicados;

• 4 (quatro) relatórios técnicos;

• 7 (sete) trabalhos de conclusão de curso concluídos.

• 5 (cinco) dissertações de mestrado em andamento; Os principais resultados do projeto foram:

1. Especificação do perfil de linguagem NCL-MPEG/4 especificado em XML Schema, disponível no Anexo A.

2. Compilador de software livre do perfil NCL-MPEG/4 para o formato XMT-O do MPEG-4, desenvolvido em Java, disponível para download em http://www.midiacom.uff.br/itvsoft.

3. Módulo servidor de software livre para transmissão de fluxos de vídeo MPEG que use o protocolo MMTP, desenvolvido em C, disponível para download em http://www.midiacom.uff.br/itvsoft.

4. Módulo cliente de software livre para recepção de fluxos de vídeo MPEG através do protocolo MMTP, desenvolvido em C, disponível para download em http://www.midiacom.uff.br/itvsoft.

5. Especificação da linguagem SCSL, disponível no Anexo B.

6. Compilador de software livre de SCSL com a geração de especificação executável em Lógica de Reescrita, disponível para download em http://www.midiacom.uff.br/itvsoft.

7. Compilador de software livre de lógica de reescrita com a geração de código Maude, disponível para download em http://www.midiacom.uff.br/itvsoft.

8. Editor de âncora para objetos multimídia com geração de código NCL e SMIL, disponível para download em http://www.midiacom.uff.br/itvsoft.

9. Orientação de dissertação de mestrado concluída. Título: Uma Proposta de Mapeamento de Máquinas de Estados Abstratas para Lógica de Reescrita. Autor: Vinicius Valente Maciel. Orientadora: Maria Luíza D’Almeida Sanchez, Departamento de Ciência da Computação, Instituto de Computação, UFF, defendida em setembro de 2004, disponível no Anexo C.

10. Orientação de dissertação de mestrado concluída. Um Framework para Persistência de Objetos em Banco de Dados Relacionais. Autor: José Francisco Viana Pinheiro. Orientadora: Maria Luíza D’Almeida Sanchez, Departamento de Ciência da Computação, Instituto de Computação, UFF, defendida em setembro de 2004, disponível no Anexo D.

11. Artigo publicado em congresso internacional. NCL 2.0: Integrating New Concepts to XML Modular Languages. ACM Symposium on Document Engineering - DocEng2004, 2004, Milwaukee, USA – 2004, disponível no Anexo E.

12. Artigo publicado em congresso internacional. SCSL – A Verifiable and Executable Real-Time Systems Specification Language, 24th IEEE Real Time Systems Symposium, dezembro de 2003, Cancun, México, disponível no Anexo B.

13. Artigo publicado em congresso nacional. A Free Software Streaming-Video Application based on MMTP, 6o. Fórum Internacional de Software Livre – FISL 6.0, Porto Alegre, RS, junho de 2005. disponível no Anexo F.

14. Artigo publicado em congresso nacional. Integração entre as Linguagens para Autoria Multimídia NCL e XMT (MPEG-4). WebMedia & LA-Web Joint Conference, Workshop de Iniciação Científica, Ribeirão Pireto, SP, 2004, disponível no Anexo G.

15. Artigo publicado em congresso nacional. Editores de Âncoras para Objetos Multimídia. Simpósio Brasileiro de Sistemas Multimídia e Web - WebMedia 2005, Workshop de Iniciação Científica, Poços de Caldas, MG, 2005, disponível no Anexo H.

16. Artigo publicado em congresso regional. Padrões de Middleware para TV Digital. VIII Semana de Engenharia da UFF, Niterói, 2005, disponível no Anexo I.

17. Artigo publicado em congresso regional. FPOR - Um Framework para Persistência de Objetos em Banco de Dados Relacionais, VII Semana de Engenharia da UFF, Niterói, RJ, Brasil, 8-10 de novembro de 2005, disponível no Anexo J.

18. Artigo publicado em congresso regional. An Open Source Distributed Application for Network Data Sharing, VII Semana de Engenharia da UFF, Niterói, RJ, Brasil, 8-10 de novembro de 2005, disponível no Anexo L.

19. Relatório Técnico. Real-Time Systems Formal Modeling based on Statecharts Autores: Vinicius Valente Maciel e Maria Luiza d’Almeida Sanchez, agosto 2005, disponível no Anexo M.

20. Relatório Técnico. Lasm2Maude: um tradutor de especificações ASM em Maude, Autores: Vinicius Valente Maciel e Maria Luiza d’Almeida Sanchez, agosto 2005, disponível no Anexo N.

21. Relatório Técnico: Middleware para Set-top Boxes: Um Enfoque Prático, Autores: Manoel Dantas e Débora C. Muchaluat Saade, julho de 2005, disponível no Anexo O.

22. Relatório Técnico: Padrões de Middleware para TV Digital, Autores: Alexsandro Paes, Renato Antoniazzi e Débora C. Muchaluat Saade, julho de 2005, disponível no Anexo P.

23. Orientação de Iniciação Científica Concluída. Alunos: Lucas Vernot (Bolsa PIBIC) Tiago Amorim (Bolsa Apoio Técnico CNPQ). Orientadora: Débora Christina Muchaluat Saade. Autoria de Documentos em Sistemas Hipermídia.

Programa PIBIC/UFF, agosto/2004 a julho/2005, relatório disponível no Anexo Q.

24. Orientação de Iniciação Científica ser concluída em julho de 2006. Alunos: Lucas Vernot (Bolsa PIBIC) Tiago Amorim (Bolsa Apoio Técnico CNPQ). Orientadora: Débora Christina Muchaluat Saade. Autoria de Documentos Hipermídia para TV Interativa. Programa PIBIC/UFF, agosto/2005 a julho/2006, relatório parcial disponível no Anexo R.

25. Orientação de Trabalho de Conclusão de Curso concluída. Alunos: Douglas Vidal Teixeira, Fernando Bicalho Canedo Freitas. Orientador: Luiz Cláudio Schara Magalhães. Software Cliente-Servidor para Fluxos de Vídeo Usando o Protocolo MMTP. 2004. Graduação em Engenharia de Telecomunicações - Universidade Federal Fluminense, disponível no Anexo S.

26. Orientação de Trabalho de Conclusão de Curso concluída. Aluno: Fernando Maciel. Orientadora: Débora Christina Muchaluat Saade. Integração entre as Linguagens de Autoria Multimídia NCL e XMT (MPEG-4). 2004. 96 f. Graduação em Engenharia de Telecomunicações - Universidade Federal Fluminense, disponível no Anexo T.

27. Orientação de Trabalho de Conclusão de Curso concluída. Aluno: Vinicius Barros de Souza. Orientadora: Débora Christina Muchaluat Saade. Set-Top Boxes para TV Digital Interativa. 2004. 49 f. Graduação em Engenharia de Telecomunicações - Universidade Federal Fluminense, disponível no Anexo U.

28. Orientação de Trabalho de Conclusão de Curso concluída. Aluno: Danilo Moret Rodrigues, Orientadora: Maria Luíza D’Almeida Sanchez. Modelagem em Diagramas de Estado do MMTP, dezembro 2004. Graduação em Engenharia de Telecomunicações - Universidade Federal Fluminense, disponível no Anexo V.

29. Orientação de Trabalho de Conclusão de Curso concluída. Alunos: Mariana Mello Bittencourt e Thiago Pereira de Araújo. Orientadora: Débora Christina Muchaluat Saade. Infra-estrutura para o Desenvolvimento de Aplicações para TV Digital Interativa. Março de 2006. Graduação em Engenharia de Telecomunicações - Universidade Federal Fluminense, disponível no Anexo X.

30. 5 dissertações de mestrado em andamento em Engenharia de Telecomunicações/UFF na mesma linha de pesquisa do projeto, alunos: Douglas Vidal Teixeira, Felipe Maya, Fabiano Abreu, Alex Castro, Manoel Dantas, orientadas pelos professores Débora C. Muchaluat Saade, Maria Luíza D’Almeida Sanchez e LuizClaudio Schara Magalhães.

O apoio do CNPq foi fundamental para o desenvolvimento das atividades e obtenção dos resultados de nossa pesquisa, pois consolidou a criação de uma infra-estrutura para desenvolvimento de pesquisas em “Comunicação de Dados Multimídia”, sediada no Laboratório MídiaCom do Departamento de Engenharia de Telecomunicações da Universidade Federal Fluminense, e permitiu a participação de professores e alunos, participantes do projeto, em congressos e simpósios da área.

Atenciosamente,

Profa. Débora Christina Muchaluat Saade

Obs.: Os anexos serão enviados na versão impressa do relatório técnico do projeto e também estarão disponíveis na página do projeto http://www.midiacom.uff.br/itvsoft.

Anexo A Perfil de linguagem NCL-MPEG/4 em XML Schema

Anexo B Especificação da linguagem SCSL SCSL – A Verifiable and Executable Real_Time Systems Specification Language, 24th IEEE Real Time Systems Symposium, dezembro de 2003, Cancun, México.

Anexo C Dissertação de mestrado: Uma Proposta de Mapeamento de Máquinas de Estados Abstratas para Lógica de Reescrita, IC/UFF, 2004.

Anexo D Dissertação de mestrado: Um Framework para Persistência de Objetos em Banco de Dados Relacionais, IC/UFF, 2004.

Anexo E NCL 2.0: Integrating New Concepts to XML Modular Languages. ACM Symposium on Document Engineering - DocEng2004, 2004, Milwaukee, USA – 2004.

Anexo F A Free Software Streaming-Video Application based on MMTP, 6o. Fórum Internacional de Software Livre – FISL 6.0, Porto Alegre, RS, junho de 2005.

Anexo G Integração entre as Linguagens para Autoria Multimídia NCL e XMT (MPEG-4). WebMedia & LA-Web Joint Conference, Workshop de Iniciação Científica, Ribeirão Pireto, SP, 2004.

Anexo H Editores de Âncoras para Objetos Multimídia. Simpósio Brasileiro de Sistemas Multimídia e Web - WebMedia 2005, Workshop de Iniciação Científica, Poços de Caldas, MG, 2005.

Anexo I Padrões de Middleware para TV Digital. VIII Semana de Engenharia da UFF, Niterói, RJ, 2005.

Anexo J FPOR - Um Framework para Persistência de Objetos em Banco de Dados Relacionais, VII Semana de Engenharia da UFF, Niterói, RJ, Brasil, 8-10 de novembro de 2005.

Anexo L An Open Source Distributed Application for Network Data Sharing, VII Semana de Engenharia da UFF, Niterói, RJ, Brasil, 8-10 de novembro de 2005.

Anexo M Relatório Técnico. Real-Time Systems Formal Modeling based on Statecharts Autores: Vinicius Valente Maciel e Maria Luiza d’Almeida Sanchez, agosto 2005.

Anexo N Relatório Técnico. Lasm2Maude: um tradutor de especificações ASM em Maude, Autores: Vinicius Valente Maciel e Maria Luiza d’Almeida Sanchez, agosto 2005.

Anexo O Relatório Técnico: Middleware para Set-top Boxes: Um Enfoque Prático, Autores: Manoel Dantas e Débora C. Muchaluat Saade, julho de 2005.

Anexo P Relatório Técnico: Padrões de Middleware para TV Digital, Autores: Alexsandro Paes, Renato Antoniazzi e Débora C. Muchaluat Saade, julho de 2005.

Anexo Q Relatório Técnico de Iniciação Científica. Alunos: Lucas Vernot (Bolsa PIBIC) Tiago Amorim (Bolsa Apoio Técnico CNPQ). Orientadora: Débora Christina Muchaluat Saade. Autoria de Documentos em Sistemas Hipermídia. Programa PIBIC/UFF, agosto/2004 a julho/2005.

Anexo R Relatório Técnico Parcial de Iniciação Científica ser concluída em julho de 2006. Alunos: Lucas Vernot (Bolsa PIBIC) Tiago Amorim (Bolsa Apoio Técnico CNPQ). Orientadora: Débora Christina Muchaluat Saade. Autoria de Documentos Hipermídia para TV Interativa. Programa PIBIC/UFF, agosto/2005 a julho/2006.

Anexo S Trabalho de Conclusão de Curso. Alunos: Douglas Vidal Teixeira, Fernando Bicalho Canedo Freitas. Orientador: Luiz Cláudio Schara Magalhães. Software Cliente-Servidor para Fluxos de Vídeo Usando o Protocolo MMTP. 2004.

Anexo T Trabalho de Conclusão de Curso. Aluno: Fernando Maciel. Orientadora: Débora Christina Muchaluat Saade. Integração entre as Linguagens de Autoria Multimídia NCL e XMT (MPEG-4). 2004.

Anexo U Trabalho de Conclusão de Curso. Aluno: Vinicius Barros de Souza. Orientadora: Débora Christina Muchaluat Saade. Set-Top Boxes para TV Digital Interativa. 2004.

Anexo V Trabalho de Conclusão de Curso. Aluno: Danilo Moret Rodrigues, Orientadora: Maria Luíza D’Almeida Sanchez. Modelagem em Diagramas de Estado do MMTP, dezembro 2004.

Anexo X Trabalho de Conclusão de Curso. Alunos: Mariana Mello Bittencourt e Thiago Pereira de Araújo. Orientadora: Débora Christina Muchaluat Saade. Infra-estrutura para o Desenvolvimento de Aplicações para TV Digital Interativa. Março de 2006.

Referências Bibliográficas

1 - Produção Científica da Equipe na Área do Projeto [AMRS00a] Antonacci M.J., Muchaluat-Saade D.C., Rodrigues R.F., Soares L.F.G. Improving the expressiveness of XML-based Hypermedia Authoring Languages, Proceedings of the Multimedia Modeling Conference'2000, Nagano, Japan, Novembro 2000.

[AMRS00b] Antonacci M.J., Muchaluat-Saade D.C., Rodrigues R.F., Soares L.F.G. NCL: Uma Linguagem Declarativa para Especificação de Documentos Hipermídia na Web, VI Simpósio Brasileiro de Sistemas Multimídia e Hipermídia - SBMídia2000, Natal, Rio Grande do Norte, Junho 2000.

[Bas00+] S. Bastos. Desenvolvimento De Uma Técnica Formal De Especificação De Requisitos Para Sistemas De Tempo Real A Partir De Métodos Não-Formais Orientados A Objetos. Tese de Mestrado, Orientador: Maria Luiza d’Almeida Sanchez, Ciência da Computação - Universidade Federal Fluminense, Dezembro 2000.

[BS00] S. Bastos and M.L. Sanchez, M. L. D.Obtaining Formal Requirements Specification from UML In: IFIP WG6.1 FORTE/PSTV 2000, Outubro 2000, Piza.

[BS01] S. Bastos and M.L. Sanchez,. D.Modelling Real Time Systems From Object Oriented Models In: Provisional IEEE/IEE Real-Time Embedded Systems Workshop, 2001, Londres. : Provisional IEEE/IEE Real-Time Embedded Systems Workshop. , Dezembro 2001. v.1. p.1 – 5

[BS02] S. Bastos and M.L. Sanchez,. Modelling Real Time Systems From Object Oriented Models In: SBRC - Workshop de Sistemas de Tempo-Real, 2002, Buzios.SBRC - Workshop de Sistemas de Tempo-Real. , Maio 2002. v.1. p.1 – 8

[CMSS96] Costa F.R, Muchaluat-Saade D.C., Soares L.F.G., Souza G.L. Editor Gráfico para Estrutura e Sincronismo de Documentos Multimídia, IX Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens, Caxambu, Minas Gerais, Outubro 1996.

[KCM01] Kravets R., Carter C., and Magalhaes L., A Cooperative Approach to User Mobility, ACM Computer Communications Review, vol. 31, 2001.

[MK01] Magalhaes, L. and Kravets, R., MMTP: Multimedia Multiplexing Transport Protocol, The First Workshop on Data Communications in Latin America and the Caribbean, (SIGCOMM-LA 2001), 2001.

[MK01a] Magalhaes, L. and Kravets R., End-to-End Inverse Multiplexing for Mobile Hosts, The 19th Brazilian Symposium on Computer Networks, Florianopolis, Brazil, 2001.

[MK01b] Magalhaes, L. and Kravets R., Transport Level Mechanisms for Bandwidth Aggregation on Mobile Hosts, The 9th International Conference on Network Protocols (ICNP 2001), 2001.

[MK01c] Magalhaes, L. and Kravets R., End-to-End Inverse Multiplexing for Mobile Hosts, Journal of the Brazilian Computer Society, no. 2 vol 7, Novembro 2001.

[MKH03] Magalhaes, L. and Kravets R., Harris III A., Improving Performance of Rate-Base Transport Protocols in Wireless Environments, SBT'03 20th XX Simpósio Brasileiro de Telecomunicações, 2003

[MS03] Maciel, V.V. and Sanchez, M.L., SCSL- A Verifiable and Executable Real-Time Systems Specification Language IN: RTSS – 24Th IEEE International Real-Time Systems Symposium, Cancun, Dezembro 2003 (a publicar).

[MSCS97] Muchaluat-Saade D.C., Soares L.F.G., Costa F., Souza G. Graphical Structured-Editing of Multimedia Documents with Temporal and Spatial Constraints, IV International Conference on Multimedia Modeling -MMM'97, Cingapura, pp.279-295, Novembro 1997.

[Much03] Muchaluat-Saade, D.C. Relações em Linguagens de Autoria Hipermídia: Aumentando Reuso e Expressividade. Tese de Doutorado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, Março 2003.

[Much96] Muchaluat-Saade D.C. Browsers e Trilhas para Documentos Hipermídia Baseados em Modelos com Composições Aninhadas, Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Março 1996.

[MuCS01] Muchaluat-Saade D.C., Colcher S., Soares L.F.G. Relações de Sincronização Espaço-Temporal Hipermídia Também Merecem Status de Primeira Classe, VII Simpósio Brasileiro de Sistemas Multimídia e Hipermídia - SBMídia2001, Florianópolis, Santa Catarina, Outubro 2001.

[MuRS02] Muchaluat-Saade D.C., Rodrigues R.F., Soares L.F.G. XConnector: Extending XLink to Provide Multimedia Synchronization, ACM Symposium on Document Engineering - DocEng'02, Virginia, USA, Novembro 2002.

[MuRS98] Muchaluat-Saade, D.C.; Rodrigues, R.F.; Soares L.F.G. WWW Fisheye-View Graphical Browser. V Multimedia Modeling Conference - MMM98, Lausanne, Suiça, Outubro 1998, pp. 80-89.

[MuSC96] Muchaluat-Saade D.C., Soares L.F.G., Casanova M.A. Editores Gráficos para Estruturas com Composições, Anais do X Simpósio Brasileiro de Engenharia de Software, São Carlos, São Paulo, Outubro 1996.

[MuSiSo03] Muchaluat-Saade D.C., Silva H., Soares, L.F.G. Linguagem NCL versão 2.0 para Autoria Declarativa de Documentos Hipermídia, IX Simpósio Brasileiro de Sistemas Multimídia e Web - WebMídia2003, Salvador, Bahia, Novembro 2003.

[MuSo00] Muchaluat-Saade D.C., Soares, L.F.G. Linguagens de Descrição de Arquitetura X Modelo Hipermídia NCM, Relatório Técnico, Laboratório TeleMídia, Departamento de Informática, PUC-Rio, Rio de Janeiro, Junho 2000.

[MuSo01a] Muchaluat-Saade D.C., Soares L.F.G. Hypermedia Spatio-Temporal Synchronization Relations Also Deserve First Class Status, VIII Multimedia Modeling Conference - MMM'2001, Amsterdam, Holanda, Novembro 2001.

[MuSo01b] Muchaluat-Saade D.C., Soares L.F.G. Towards the Convergence Between Hypermedia Authoring Languages and Architectural Description Languages, ACM Symposium on Document Engineering - DocEng'01, Atlanta, USA, Novembro 2001.

[MuSo02a] Muchaluat-Saade D.C., Soares L.F.G. XConnector e XTemplate: Estendendo XLink para Aumentar Expressividade e Reuso, VIII Simpósio Brasileiro de Sistemas Multimídia e Hipermídia - SBMídia2002, Fortaleza, Ceará, Outubro 2002.

[MuSo02b] Muchaluat-Saade D.C., Soares L.F.G. XConnector & XTemplate: Improving the Expressiveness and Reuse in Web Authoring Languages, aceito para publicação em The New Review of Hypermedia and Multimedia Journal, Taylor Graham Publisher, vol. 8, 2002.

[RAR+02] Rodrigues L.M., Antonacci M.J., Rodrigues R.F., Muchaluat-Saade D.C., Soares L.F.G. Improving SMIL with NCM Facilities, Journal of Multimedia Tools and Applications, 16(1), Kluwer Academics Publisher, Janeiro 2002.

[RoMS98] Rodrigues R., Muchaluat-Saade D.C., Soares L.F.G. Composite Nodes, Contextual Links and Graphical Structural Views on the WWW, Journal of the Brazilian Computer Society (Special Issue on World Wide Web), 5(2): 31-44, Novembro 1998.

[Soar00] Soares L.F.G. et al, Modelo de Contextos Aninhados - versão 2.3, Relatório Técnico do Laboratório TeleMídia, Departamento de Informática, PUC-Rio, Março 2000.

[SoRM00] Soares L.F.G., Rodrigues R.F., Muchaluat-Saade D.C. Modeling, Authoring and Formatting Hypermedia Documents in the HyperProp System, ACM Multimedia Systems Journal, 8(2):118-134, Março 2000.

[SSRM98a] Soares, L.F.G.; Souza, G.L.; Rodrigues, R.F.; Muchaluat-Saade, D.C. Propagação e Proliferação de Versões em Modelos Conceituais Hipermídia com Composições. Simpósio Brasileiro de Banco de Dados – SBBD’98, Maringá, Brasil, Outubro 1998, pp. 351-365.

[SSRM98b] Soares, L.F.G.; Souza, G.L.; Rodrigues, R.F.; Muchaluat-Saade, D.C. Versões de Representação em Modelos com Composições Aninhadas. IV Simpósio Brasileiro de Sistemas Multimídia e Hipermídia – SBMídia’98, Rio de Janeiro, Brasil, Maio 1998, pp. 225-236.

[SSRM99] Soares, L.F.G.; Souza, G.L.; Rodrigues, R.F.; Muchaluat-Saade, D.C. Versioning Support in the HyperProp System. Journal of Multimedia Tools and Applications, v.8, n.3, Kluwer Academics, Maio 1999, pp. 325-339.

2 – Bibliografia [AlGa97] Allen R., Garlan D. A Formal Basis for Architectural Connection, Technical Report, School of Computer Science, Carnegie Mellon University, September 1998, revised version of the paper that appeared in ACM Transactions on Software Engineering and Methodology, Julho 1997.

[AlGa98] Allen R., Garlan D. A Formal Basis for Architectural Connection, Technical Report, School of Computer Science, Carnegie Mellon University, Setembro 1998, versão revisada do artigo publicado em ACM Transactions on Software Engineering and Methodology, Julho 1997.

[All87] Introduction to Real Time Software Design. Springer-Verlag, 1987.

[Alle83] Allen J.F. Maintaining Knowledge about Temporal Intervals, Communications of the ACM, 26(11), 1983, 832-843.

[Alle97] Allen R. A Formal Approach to Software Architecture, PhD Thesis, School of Computer Science, Carnegie Mellon University, Maio 1997.

[Ande97] Anderson, K.M. Integrating Open Hypermedia Systems with the World Wide Web. VIII ACM International Hypertext Conference, Southampton, 1997, pp. 157-166.

[AnKM95] Andrews, K.; Kappe, F.; Maurer, H. Serving Information to the Web with Hyper-G. Computer Networks and ISDN Systems, v.27, n.6, 1995, pp. 919-926.

[Anto00] Antonacci M.J. NCL: uma Linguagem Declarativa para Especificação de Documentos Hipermídia com Sincronização Temporal e Espacial, Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Abril 2000.

[AP99] M. Allman and V. Paxson. TCP Congestion ControlInternet Engineering Task Force, April 1999. RFC 2581

[AS99] Aredo, D.B.; Traoré, I.; StØlen, K. Towards a formalization of UML Class Structure in PVS. Research Report 272, University of Oslo, Agosto/1999.

[BB01] D. Bansal and H. Balakrishnan. Binomial Congestion Control Algorithms. In Proceedings INFOCOM 2001 (to appear), April 2001.

[BBHJ97] Braden, R.; Berson, S.; Herzog, S.; Jamin, S.; Zhang, L. Resource ReSerVation Protocol (RSVP): Version 1 Functional Specification. IETF Request for Comments (RFC) 2205, set. de 1997.

[BCLN94] Berners-Lee T.J., Cailliau R., Luotonen A., Nielsen H.F., Secret A. The World-Wide Web, Communications of the ACM, 37(8): 76-82, 1994.

[BeLB98] Berson, S.; Lindell, R.; Braden, R. An Architecture for Advance Reservations in the Internet. Relatório Técnico, USC Information Sciences Institute, jul. 1998.

[BeMM94] Berners-Lee, T.J.; Masinter, L.; McCahill, M. Uniform Resource Locators (URL). RFC 1738, IETF, dez. 1994.

[BHBK00] Bhatti, N.; Bouch, A.; Kuchinsky, A. Integrating User-Perceived Quality into Web Server Design, WWW Conference, 2000.

[BMRS00] Bachelet, B.; Mahey, P.; Rodrigues, R.F.; Soares, L.F.G. Elastic Time Computation for Hypermedia Documents. VI Simpósio Brasileiro em Sistemas Multimídia e Hipermídia - SBMídia’2000, Natal, Brasil, jun. 2000, pp. 47-62.

[Boe75] Boehm B., Mclean R. L., Urfig D. B.; Some experiences with automated aids to the design of large-scale reliable software; IEEE Transactions on Software Engineering, vol. SE-1, nº 6; junho de 1975 pp 140-149.

[BoKl99] Boll, S.; Klas, W. ZYX – A Semantic Model for Multimedia Documents and Presentations. VIII IFIP Conference on Data Semantics, 1999.

[BoKW99a] Boll, S.; Klas, W.; Westermann, U. Multimedia Document Models – Sealed Fate or Setting Out for New Shores? IEEE International Conference on Multimedia Computing and Systems (ICMCS), Florença, Itália, jun. 1999.

[BoKW99b] Boll, S.; Klas, W.; Wandel, J. A Cross-Media Adaptation Strategy for Multimedia Presentation. ACM Multimedia, Orlando, EUA, out. 1999.

[Boo94] Booch, G. Object-Oriented Analysis and Design with Applications. 2nd Ed., Benjamin/Cummings, 1994.

[Boo99] Booch, G.; Rumbaugh, J.; Jacobson, I. The Unified Modeling Language User Guide. Addison Wesley, 1999.

[BoSc99] Bouvin, N.O.; Schade, R. Integrating Temporal Media and Open Hypermedia on the World Wide Web. VIII International World Wide Web Conference, 1999, pp. 375-387.

[BRS99] H. Balakrishnan, H. S. Rahul, and S. Seshan. An Integrated Congestion Management Architecture for Internet Hosts. In Proc. ACM SIGCOMM, pages 175--187, Sep 1999.

[Bru98] Bruel, J.M.; France, R.B. Transforming UML Models to Formal Specification. In: Conf. on Object Oriented Programming Systems Language and Applications (OOPSLA'98), Vancouver, Canada, 1998.

[Brus96] Brusilovsky, P. Methods and Techniques of Adaptive Hypermedia. Journal of User Modelling and User-Adaptive Interaction, v.6, n.2-3, 1996, pp. 87-129.

[BS00] H. Balakrishnan and S. Seshan. The Congestion Manager. Internet Engineering Task Force, Nov 2000. Internet Draft draft-balakrishnan-cm-3.txt. Work in progress, expires May 2001.

[BT98] J. Bolot and T. Turletti, Experience with Rate Control Mechanisms for Packet Video in the Internet. ACM Computer Communications Review, vol. 28, pp. 4-15, 1998.

[BuZe92] Buchanan, M.C.; Zellweger, P.T. Specifying Temporal Behavior in Hypermedia Documents. European Conference on Hypertext - ECHT'92, Milão, Itália, dez. 1992.

[BuZe93a] Buchanan M.C., Zellweger P.T. Automatic Temporal Layout Mechanisms, Proceedings of ACM Multimedia’93, California, pp. 341-350, 1993.

[BuZe93b] Buchanan, M.C.; Zellweger, P.T. Automatically Generating Consistent Schedules for Multimedia Documents. ACM Multimedia Systems Journal, v.1, n.2, Springer-Verlag, set. 1993, pp. 55-67.

[Car99] Carpena, F.R. Especificação de Requisitos de Software com o Método SCR. Tese de Mestrado, Orientadora: Tereza Kirner. Universidade Federal de São Carlos, 1999.

[CCPP99] World-Wide Web Consortium. Composite Capability/Preference Profiles (CC/PP): A user side framework for content negotiation. W3C Note, jun. 1999.

[CDE + 01] Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and José F. Quesada. Maude: Specication and programming in rewriting logic. Theoretical Computer Science, 2001. To appear.

[CDE + 03] Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and Carolyn Talcott. The maude 2.0 system. In Robert Nieuwenhuis, editor, Rewriting Techniques and Applications (RTA 2003), number 2706 in Lecture Notes in Computer Science, pages 76{87. Springer-Verlag, June 2003.

[CGL94] Edmund M. Clarke, Orna Grumberg, and David E. Long. Model checking and abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512{1542, September 1994.

[ChKo00] Chen, G.; Kotz, D. A Survey of Context-Aware Mobile Computing Research. Department of Computer Science. Dartmouth College, nov. 2000.

[CKK98] F. M. Chiussi, D. A. Khotimsky, and S. Krishnan, Generalized inverse multiplexing of switched ATM connections. presented at Proceedings of the IEEE Conference on Global Communications (GlobeCom '98), 1998.

[CLZ88] D. D. Clark, M. Lambert, and L. Zhang, NETBLT: A High Throughput Transport Protocol, 1988.

[CoBl95] Coulson, G.; Blair, G. Architectural Principles and Techniques for Distributed Multimedia Application Support in Operating Systems. ACM Operating System Review, v.29, n.4, out. 1995, pp. 17-24.

[CoKa00] Cohen, E.; Kaplan, H. Prefetching the Means for Document Transfer: A New Approach for Reducing Web Latency. IEEE INFOCOM 2000, Tel-Aviv, Israel, mar. 2000.

[Colc99] Colcher, S. Um Meta Modelo para Aplicações e Serviços de Comunicação Adaptáveis e com Qualidade de Serviço. Tese de Doutorado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, nov. 1999.

[CRHH95] Carr L., Roure D., Hall W., Hill G. The Distributed Link Service: A Tool for Publishers, Authors and Readers, Proceedings of the Fourth International World Wide Web Conference, Boston, USA, 1995.

[CSS96] World-Wide Web Consortium. Cascading Style Sheets, level 1. W3C Recommendation, dez. 1996.

[CSS98] Cascading Style Sheets, level 2 – CSS2 Specification, W3C Recommendation, disponível em http://www.w3.org/TR/REC-CSS2/, Maio 1998.

[CT90] D. D. Clark and D. L. Tennenhouse, Architectural Considerations for a New Generation of Protocols. in Proceedings of the SIGCOMM '90 Symposium, 1990, pp. 200-208.

[CTL+91] Casanova M.A., Tucherman L., Lima M.J., Rangel J.L., Rodriguez N.R., Soares L.F.G. The Nested Contex Model for Hyperdocuments, Proceedings of Third ACM Conference on Hypertext, San Antonio, Texas, pp. 193-201, Dezembro 1991.

[Day93] Nanci Day. A model checker for statecharts ( linking case tools with formal methods. Technical Report, University of British Columbia, 1993.

[DeCo95] Dean T., Cordy J. A Syntatic Theory of Software Architecture, IEEE Transactions on Software Engineering, 21(4), Abril 1995.

[DeSA01] Dey, A.K.; Salber, D.; Abowd, G.D. A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-Aware Applications.Human-

Computer Interaction (HCI) Journal - special issue on Context-Aware Computing, v.16, n.2-4, 2001, pp. 97-166.

[DiAP01] Díaz P., Aedo I., Panetsos F. Modeling the Dynamic Behavior of Hypermedia Applications, IEEE Transactions on Software Engineering, 27(6), pp. 550-572, Junho 2001.

[DKPS95] Degermark, M.; Köhler, T.; Pink, S.; Schelén, O. Advance Reservation for Predictive Service. 5th International Workshop on Network and Operating System Support for Digital Audio and Video, Durham, abr. 1995.

[Dou98] Douglass, B.P. Real Time UML - Developing Efficient Objects for Embedded Systems. Addison Wesley, 1998.

[DSSS96] DSSSL – Document Style Semantics and Specification Language, ISO/IEC 10179:1996 Published Standard, 1996.

[DuKe95] Duda A., Keramane C. Structured Temporal Composition of Multimedia Data, IEEE International Workshop on Multimedia Database Management Systems, Nova York, Agosto 1995.

[ElCe01] Elson J.; Cerpa, A. (eds.). ICAP the Internet Content Adaptation Protocol. ICAP White Paper V1.01, ICAP Forum, 2001.

[FCDG99] Feldmann, A.; Caceres, R.; Douglis, F; Glass, G.; Rabinovich, M. Performance of Web Proxy Caching in Heterogeneous Bandwidth Environments. IEEE INFOCOM’99, 1999.

[FeHS02] Félix, M.F.; Haeusler, E.H.; Soares, L.F.G. Validating Hypermedia Documents: a Timed Automata Approach. Monografia em Ciência da Computação, Departamento de Informática, PUC-Rio, Rio de Janeiro, RJ, 2002.

[FHP+00] S. Floyd, M. Handley, J. Padhye, and J. Widmer. Equation-Based Congestion Control for Unicast Applications. Proc. ACM SIGCOMM, pages 43--54, September 2000.

[FJ93] S. Floyd and V. Jacobson, Random Early Detection Gateways for Congestion Avoidance. IEEE/ACM Transactions on Networking, 1993.

[FrBo96] Freed, N.; Borenstein, N. Multipurpose Internet Mail Extensions (MIME) Part One: Format of Internet Message Bodies. RFC 2045, nov. 1996.

[FSV + 01] Carlos Renato Lisboa Francês, Marcos José Santana, Nandamudi Lankalapalli Vijaykumar, Solon Venâncio de Carvalho, and Regina Helena Carlucci Santana. Statecharts estocásticos e queuing statecharts: Novas abordagens para avaliação de desempenho baseadas em especicação statecharts. Simpósio Brasileiro de Engenharia de Software, 2001.

[FuNa02] Furuta R., Na J. Applying caT’s Programmable Browsing Semantics to Specify World-Wide Web Documents that Reflect Place, Time, Reader, and Community, ACM Symposium on Document Engineering - DocEng'02, Virginia, USA, Novembro 2002.

[GaMW97] Garlan D., Monroe R., Wile D. ACME: An Architecture Description Interchange Language, Proceedings of CASCON'97, Novembro 1997.

[GaPe95] Garlan D., Perry D. Introduction to the Special Issue on Software Architecture, IEEE Transactions on Software Engineering, 21(4), Abril 1995.

[Garl95] Garlan D. An Introduction to the Aesop System, disponível em http://www.cs.cmu.edu/afs/cs/project/able/www/aesop/html/aesop-overview.ps, Julho 1995.

[Garl98] Garlan D. High-Order Connectors, apresentado no Workshop on Compositional Software Architecture, Monterey, CA, Janeiro 1998.

[GHJV95] Gamma, E.; Helm, R.; Johnson, R.; Vlissides, J. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1995.

[GHMN01] Gudgin, M.; Hadley, M.; Moreau, J.; Nielsen, H.F. SOAP Version 1.2. W3C Working Draft, 2001.

[GoCS01] Gomes, A.T.A.; Colcher, S.; Soares, L.F.G. Modeling QoS provision on Adaptable Communication Environments. International Conference on Communications - ICC2001, Helsinque, Finlândia, jun. 2001.

[Gome99] Gomes, A.T.A. Um Framework para Provisão de QoS em Ambientes Genéricos de Processamento e Comunicação. Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, mai. 1999.

[Gori01] Gorini, R.A.C. Um Ambiente de Suporte à Autoria Cooperativa de Documentos Hipermídia. Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, set. 2001.

[GrBS97] Grønbaek, K.; Bouvin, N.O.; Sloth, L. Designing Dexter-based hypermedia services for the World Wide Web. VIII ACM International Hypertext Conference, Southampton, 1997, pp. 146-156.

[GriN02] GRiNS Pro Editor for SMIL 2.0: Reference Manual. Oratrix Development, fevereiro de 2002. Disponível em http://www.oratrix.nl/Download/ReferenceManual.pdf

[HaBR93] Hardman, L.; Bulterman, D.C.A.; van Rossum, G. The Amsterdam Hypermedia Model: extending hypertext to support real multimedia. Hypermedia Journal, v.5, n.1, 1993, pp. 47-69.

[HaDa96] Hall, W.; Davis, H.C.; Hutchings, G.A. Rethinking hypermedia: the Microcosm approach. Kluwer Academic Press, Amsterdam, 1996.

[Har87] David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231{274, June 1987.

[Har88a] Harel D. et al.; STATEMATE: A Working Environment for the Development of Complex Reactive Systems; Proceedings of the Tenth International Conference on Software Engineering; Los Alamitos, CA: IEEE Computer Society Press; 1988, pp 496-506.

[Har88b] Harel D.; On Visual Formalisms; Communications of ACM vol. 31, nº 5; maio de 1988, pp.514-530.

[HaRB93] Hardman L., van Rossum G., Bulterman D.C.A. Structured Multimedia Authoring. Proceedings of the 1993 ACM Multimedia Conference, pp. 283-289, 1993, Anaheim, CA.

[Hard98] Hardman L. Modelling and Authoring Hypermedia Documents, PhD Thesis, University of Amsterdam, disponível em http://www.cwi.nl/~lynda/thesis, 1998.

[HaSc94] Halasz F., Schwartz M. The Dexter Hypertext Reference Model, Communications of the ACM, 37(2), Fevereiro 1994.

[HTML95] Berners-Lee T., Connolly D. Hypertext Markup Language - 2.0, RFC 1866, IETF, Novembro 1995

[ISO92] ISO. Information Technology – Hypermedia/Time-based Structuring Language (HyTime). International Standard (IS) 10744, 1992.

[ISO96] ISO/IEC. Information Technology – Coding of Multimedia and Hypermedia Information – Part 6: Support for Enhanced Interactive Applications. International Standard (IS) 13522-6, 1996.

[ITU96] International Telecommunications Union. One-way transmission time, Recomendação G.114, fev. 1996.

[Ja88] V. Jacobson. Congestion Avoidance and Control. In Proc. ACM SIGCOMM, pages 314--329, Aug 1988.

[Jac95] Jacobson, I. et al., The Object Advantage. Addison Wesley, 1995.

[Jef99] K. Jeffay, Towards a Better-Than-Best-Effort Forwarding Service for Multimedia Flows. IEEE Multimedia, vol. 1999, 1999.

[JeHK97] Jeong, T.; Ham, J.; Kim, S. A Pre-scheduling Mechanism for Multimedia Presentation Synchronization. IEEE International Conference on Multimedia Computing and Systems, Ottawa, Canada, 1997, pp. 379-386.

[JLR+98] Jourdan M., Layaïda N., Roisin C., Sabry-Ismail L., Tardif L. Madeus, an Authoring Environment for Interactive Multimedia Documents, Proceedings of the ACM Multimedia Conference 98, pp. 267-272, England, Setembro 1998.

[JLT85] E. D. Jensen, C. D. Locke, and H. Tokuda, A Time-Driven Scheduling Model for Real-Time Operating Systems. in IEEE Real-Time Systems Symposium, 1985.

[JoRT98] Jourdan, M.; Roisin, C.; Tardif, L. Multiviews Interfaces for Multimedia Authoring Environments. V Conference on Multimedia Modeling, Lausanne, out. 1998, pp. 72-79.

[Jun98] Júnior, J.A.; Sawyer, P. Integrating Object-Oriented Analysis and Formal Specification. Journal of the Brazilian Computer Society, no. 1, vol. 5, Julho/98.

[Kes92] S. Keshav, A Control-Theoretic Approach to Flow Control. Presented at Proceedings of the SIGCOMM '92 Symposium, 1992.

[KhTa01a] Khan, J.; Tao, Q. Partial Prefetch for Faster Surfing in Composite Hyprmedia. USENIX Symposium on Internet Technology and Systems, São Francisco, EUA, mar. 2001.

[KhTa01b] Khan J., Tao Q. Prefetch Scheduling for Composite Hypermedia. IEEE International Conference on Communications - ICC 2001, Helsinque, Finlândia, jun. 2001.

[KiSo95] Kim, M.; Song, J. Multimedia Documents with Elastic Time. Proceedings of ACM Multimedia’95, São Francisco, EUA, nov. 1995.

[Kop97] Kopetz, H. Real-Time Systems - Design principles for distributed embedded applications. Kluwer Academic Publishers, 1997.

[KrLM97] Kroeger, T.; Long, D.D.E.; Mogul, J. Exploring the Bounds of Web Latency Reduction from Caching and Prefetching. USENIX Symposium on Internet Technology and Systems, Monterey, dez. 1997, pp. 319-328.

[Lan99] Lano, K.C.; Evans, A.S. Rigorous Development in UML. In: ETAPS '99, LNCS, 1999.

[LE99] K. Lano and A. Evans. Rigorous development in UML, 1999.

[LeLa01] Lemlouma, T.; Layaïda, N. The Negotiation of Multimedia Content Services in Heterogeneous Environments. VIII Multimedia Modeling: Modeling Multimedia Information and Systems, Amsterdam, Holanda, nov. 2001, pp. 187-206.

[Lev91] Leveson, N. G. Software Requirements Analysis for Real-Time Process-Control Systems. IEEE Transactions on Software Engineering, no. 3, vol. 17, Março/91.

[LiGh90] Little, T.; Ghafoor, A. Synchronization and Storage Models for Multimedia Objects. IEEE Journal Selected Areas of Communications, v.8, n.3, abr. 1990, pp. 413-427.

[LKA+95] Luckham D., Kennedy J., Augustin L., Vera J., Bryan D., Mann W. Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, 21(4), Abril 1995.

[LoHa99] Lowe D., Hall W. Hypermedia & The Web: an Engineering Approach, John Willey & Sons, 1999.

[LPR+00] K.-W. Lee, R. Puri, T. Kim, K. Ramchandran, and V. Bharghavan, An Integrated Source Coding and Congestion Control Framework for Video Streaming in the Internet. presented at IEEE Infocom 2000, 2000.

[Lutu02] Lutus P. Arachnophilia 5.0. Paul Lutus Copyright, 2002. Disponível em http://www.arachnoid.com/arachnophilia/index.html [LuVe95] Luckham D., Vera J. An Event-based Architecture Definition Language, IEEE Transactions on Software Engineering, 21(9), Setembro 1995.

[MaKr96] Magee J., Kramer J. Dynamic Structure in Software Architectures, Proceedings of ACM SIGSOFT'96: 4th Symposium on the Foundations of Software Engineering (FSE4), pp. 3-14, San Francisco, California, Outubro 1996.

[MDEK95] Magee J., Dulat N., Eisenbach S., Kramer J. Specifying Distributed Software Architectures, Proceedings of the 5th European Software Engineering Conference (ESEC'95), Barcelona, Setembro 1995.

[MeMP00] Mehta N., Medvidovic N., Phadke S. Towards a Taxonomy of Software Connectors, Proceedings of the 22nd International Conference on Software Engineering, Limerick, Irlanda, Junho 2000.

[MeRS01] Medina, M.T.; Ribeiro, C.C.; Soares, L.F.G. Automatic Scheduling of Hypermedia Documents with Elastic Time. Monografias em Ciência da Computação – MCC08/01, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, 2001.

[MeTa00] Medvidovic N., Taylor R. A Classification and Comparison Framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, 26(1), Janeiro 2000.

[MHEG97] Information technology – Coding of multimedia and hypermedia information – Part 1: MHEG object representation – Base notation (ASN.1), International Standard ISO/IEC 13522-1, 1997.

[MOM93] N. Martí-Oliet and J. Meseguer. Rewriting logic as a logical and semantic ramework. Technical report, SRI International, 1993.

[Monr99] Monroe R.T. Rapid Development of Custom Software Architecture Design Environments, PhD Thesis, Computer Science Department, Carnegie Mellon University, Pittsburgh, PA, Agosto 1999.

[More02] Moreno, M.F. Framework para Provisão de Qualidade de Serviço em Sistemas Operacionais. Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, 2002.

[MoRi97] Moriconi M., Riemenschneider R. Introduction to SADL 1.0: a Language for Specifying Software Architecture Hierarchies, Technical Report SRI-CSL-97-01, SRI International, Março 1997.

[MORT96] Medvidovic N., Oreizy P., Robbins J., Taylor R. Using Object-Oriented Typing to Support Architectural Design in the C2 Style, Proceedings of ACM SIGSOFT’96: 4th Symposium on the Foundations of Software Engineering (FSE4), pp. 24-32, São Francisco, California, Outubro 1996.

[Mota01] Mota, O.T.J. Uma Arquitetura Adaptável para Provisão de QoS na Internet. Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, mai. 2001.

[Mour01] Moura, M.S.A. Relações Espaciais em Documentos Hipermídia. Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Agosto 2001.

[Muni00] Muniz B.C. Notificação e Controle de Versões para o Suporte à Autoria Cooperativa no Sistema HyperProp, Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro Agosto de 2000.

[NaFu01] Na J., Furuta R. Dynamic Documents: Authoring, Browsing and Analysis Using a High-Level Petri Net-Based Hypermedia System, ACM Symposium on Document Engineering - DocEng'01, Atlanta, USA, Novembro 2001.

[Nets98] Netscape Communications Corporation. “Plug-in Guide”. 1998. Em http://developer.netscape.com/docs/manuals/communicator/plugin/index.htm. [OhHj99] Ohto, H.; Hjelm, J. CC/PP exchange protocol based on HTTP extension framework. W3C Note, 1999.

[Oliv96] Oliveira, J.C. TVS: Um Sistema de Videoconferência. Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, ago. 1996.

[OMG99] OMG Unified Modeling Language Specification - version 1.3. Object Management Group, Junho/99.

[Oren00] Oren, N. A Survey of prefetching techniques. Relatório Técnico, jul. 2000. Disponível em http://citeseer.nj.nec.com/334350.html. [OsHR00] Ossenbruggen J., Hardman L., Rutledge L., Integrating Multimedia Characteristics in Web-based Document Languages, CWI Report INS-R0024, Dezembro 2000.

[Paul99] Paula V. ZCL: A Formal Framework for Specifying Dynamic Distributed Software Architectures, Tese de Doutorado, Departamento de Informática, UFPE, Pernambuco, Brasil, Agosto 1999.

[PeLi96] Pérez-Luque M.J., Little T.D.C. A Temporal Reference Framework for Multimedia Synchronization, IEEE Journal on Selected Areas in Communications, 14(1), Janeiro 1996.

[Per84] Perrow, C. Normal Accidents. Basic Book, 1984.

[Pint00] Pinto L.A.F. Autoria Gráfica de Estruturas de Documentos Hipermídia no Sistema HyperProp, Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Agosto 2000.

[PKT+99] J. Padhye, J. Kurose, D. Towsley, and R. Koodli. A Model Based TCP-friendly Rate Control Protocol. In Proc. NOSSDAV, July 1999.

[RBP+91] Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorensen W.; Object-Oriented Modeling and Design; Prentice-Hall; 1991.

[RCMP96] Revel, D.; Cowan, C.; McNamee, D.; Pu, C.; Walpole, J. An Architecture for Flexible Multimedia Prefetching. Workshop on Resource Allocation Problems in Multimedia Systems, Washington DC, nov. 1996.

[RDF99] Lassila O., Swick R. Resource Description Framework (RDF) Model and Syntax Specification, W3C Recommendation, disponível em http://www.w3.org/TR/REC-rdf-syntax/, Fevereiro 1999.

[RFC2046] Freed N., Borenstein N. Multipurpose Internet Mail Extensions (MIME) Part Two: Media Types, RFC 2046, IETF, disponível em ftp://ftp.isi.edu/in-notes/rfc2046.txt, Novembro 1996.

[RFC2396] Berners-Lee T., Fielding R., Masinter L. Uniform Resource Identifiers (URI): Generic Syntax, RFC 2046, IETF, disponível em http://www.ietf.org/rfc/rfc2396.txt, Agosto 1998.

[RHE99] R. Rejaie, M. Handley, and D. Estrin, RAP: An End-to-end Rate-based Congestion Control Mechanism for Realtime Streams in the Internet. presented at IEEE Infocom 99, 1999.

[RJMB93] van Rossum G.; Jansen J.; Mullender K.S.; Bulterman D. CMIFed: A Presentation Environment for Portable Hypermedia Documents; Proceedings of ACM Multimedia’93, California, 1993. 183-188.

[Rodr00] Rodrigues L.M. Integração de Documentos SMIL ao Sistema HyperProp e Desenvolvimento de Ferramentas para Exibição de Objetos com Relacionamentos de Sincronização, Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Novembro 2000.

[Rodr03] Rodrigues R.F. Formatação e Controle de Apresentações Hipermídia com Mecanismos de Adaptabilidade, Tese de Doutorado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Março 2003.

[Rodr97] Rodrigues R.F. Formatação Temporal e Espacial no Sistema HyperProp, Dissertação de Mestrado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Maio 1997.

[RoRS01] Rodrigues, R.F.; Rodrigues, L.M.; Soares, L.F.G. A Framework for Event-Driven Hypermedia Presentation Systems. VIII Multimedia Modeling Conference - MMM’2001, Amsterdam, Holanda, nov. 2001, pp. 169-185.

[RoSo02b] Rodrigues, R.F.; Soares, L.F.G. A Framework for Prefetching Mechanisms in Hypermedia Presentations. nov. 2002. IEEE International Symposium on Multimedia Software Engineering, California, USA, 2002.

[RoSS97] Rodrigues, R.F.; Souza, G.L.; Soares, L.F.G. Authoring and Formatting of Documents Based on Event-Driven Hypermedia Models. IEEE International Conference on Protocols for Multimedia Systems and Multimedia Networking - Proms-MmNet’97, Santiago, Chile, nov. 1997, pp.74-83.

[ROY00] Rhee, I., Ozdemir, V. and Yi, Y. TEAR: TCP Emulation at Receivers -Flow Control for Multimedia Streaming. NCSU Technical Report, April 2000.

[RuJB99] Rumbaugh, J.; Jacobson, I.; Booch, G. The Unified Modeling Language: Reference Manual. Addison-Wesley, 1999.

[Rum96] Rumbaugh, J. OMT Insights. pp. 300. SIGS Books, 1996.

[SaLR99] Sabry-Ismail, L.; Layaïda, N.; Roisin, C. Dealing with uncertain durations in synchronized multimedia presentations. Multimedia Tools and Applications Journal, Kluwer Academic Publishers, 1999.

[SB00] A. Snoren and H. Balakrishnan, An End-to-End Approach to Host Mobility. presented at ACM Mobicom '99, 2000.

[ScAW94] Schilit, B.; Adams, N.; Want, R. Context-aware computing applications. IEEE Workshop on Mobile Computing Systems and Applications, Santa Cruz, EUA, dez. 1994, pp. 85-90.

[SCF+94] H. Schulzrinne, S. Casner, R. Frederick, and V. Jacobson, RTP: A Transport Protocol for Real-Time Applications. Internet Engineering Task Force Internet Draft, July 1994 1994.

[ScFJ96] Schulzrinne, H.; Casner, S.; Frederick, R.; Jacobson V. RTP: A Transport Protocol for Real-Time Applications. IETF Request for Comments (RFC) 1889, jan. 1996.

[SCHE01] XML Schema Part 0: Primer, W3C Recommendation, disponível em http://www.w3.org/TR/xmlschema-0/, Maio 2001.

[SCJ89] H. Schulzrinne, S. Casner, R. Frederick, and V. Jacobson. RTP: A Transport Protocol for Real-Time Applications. IETF, Jan 1996. RFC 1889.

[SCSS98] Santos, C.; Courtiat, J.P.; Soares, L.F.G.; Souza, G.L. Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model. V Multimedia Modeling Conference - MMM98, Lausanne, Suiça, out. 1998.

[SDK+95] Shaw M., DeLine R., Klein D., Ross T., Young D., Zelesnik G. Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, 21(4), Abril 1995.

[Shaw94] Shaw M. Procedure Calls are the Assembly Language of Software Interconnections: Connectors Deserve First-Class Status, Proceedings of the Workshop on Studies of Software Design, LNCS, Springer-Verlag, 1994.

[ShDZ96] Shaw M., DeLine R., Zelesnik G. Abstractions and Implementations for Architectural Connections, Proceedings of the Third International Conference on Configurable Distributed Systems, Annapolis, Maryland, Maio 1996.

[ShGa96] Shaw M., Garlan D. Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, Abril 1996.

[SK98] M. Stemm and R. H. Katz, Vertical Handoffs in Wireless OverlayNetworks. ACM Mobile Networking (MONET), Special Issue on Mobile Networking in the Internet, 1998.

[SLM96] K. Sklower, B. Lloyd, G. McGregor, D. Carr, and T. Coradetti, The PPP Multilink Protocol, RFC1990., 1996.

[SMIL01] Synchronized Multimedia Integration Language (SMIL 2.0), W3C Recommendation, disponível em http://www.w3.org/TR/smil20, Agosto 2001.

[SMIL02] SMILGen. RealNetworks, 2002. Disponível em http://www.smilgen.org

[SMIL98] Synchronized Multimedia Integration Language (SMIL) 1.0 Specification, W3C Recommendation, disponível em http://www.w3.org/TR/REC-smil, Junho 1998.

[SN99] S. Servetto and K. Nahrstedt, Broadcast Quality Video over IP. IEEE Journal on Selected Areas in Communications, Special issue on QoS in the Internet, 1999.

[Soar03] Soares, L.F.G.; Rodrigues, R.F.; Muchaluat-Saade, D.C. Modelo de Contextos Aninhados – versão 2.3. Relatório Técnico, Laboratório TeleMídia, PUC-Rio, mar. 2003.

[SoCR94] Soares L.F.G., Casanova M.A., Rodriguez N.R. Nested Composite Nodes and Version Control in Hypermedia Systems, Proceedings of the Workshop on Versioning in Hypertext Systems, in connection with ACM European Conference on Hypermedia Technology, Edinburgh. Setembro 1994.

[SoCR95] Soares L.F.G., Casanova M.A., Rodriguez N.R. Nested Composite Nodes and Version Control in an Open Hypermedia System, International Journal on Information Systems; Special issue on Multimedia Information Systems, 20(6):501-520, Elsevier Science Ltd. England, Setembro 1995.

[Souz97] Souza, G.L. Sincronismo na Modelagem e Execução de Apresentações de Documentos Multimidia. Tese de Doutorado, Departamento de Informática, PUC-Rio, Rio de Janeiro, Brasil, set. 1997.

[SRL98] H. Schulzrinne, A. Rao, and R. Lanphier. Real Time Streaming Protocol (RTSP). IETF, April 1998. RFC 2326.

[SSSC98] Santos, C.; Soares, L.F.G.; Souza, G.L.; Courtiat J.P. Design Methodology and Formal Validation of Hypermedia Documents. ACM Multimedia 98, Bristol, Inglaterra, out. 1998.

[Stan96] Stankovic, J.A. et al. Strategic Directions in Real-Time and Embedded Systems. ACM Computing Surveys, no. 4, vol. 28, Dezembro/96.

[Sun99] Sun Microsystems. Java Media Framework, v2.0 API Specification. 1999. Disponível em http://java.sun.com/products/java-media/jmf/2.1 specdownload.html.

[SVG01] Scalable Vector Graphics (SVG) 1.0 Specification, W3C Recommendation, disponível em http://www.w3.org/TR/SVG, Setembro 2001.

[SVS+99] P. Sinha, N. Venkitaraman, R. Sivakumar, and V. Bharghavan, WTCP:A Reliable Transport Protocol for Wireless Wide-Area Networks. presented at ACM Mobicom '99, 1999.

[TMA+96] Taylor R., Medvidovic N., Anderson K., Whitehead Jr. E., Robbins J., Nies K., Oreizy P., Dubrow D. A Component- and Message-Based Architectural Style for GUI Software, IEEE Transactions on Software Engineering, 22(6):390-406, Junho 1995.

[TZ99] Wai-tian Tan and Avideh Zakhor. Real-Time Internet Video Using Error Resilient Scalable Compression and Tcp-Friendly Transport Protocol. ACM MM, 1999.

[VaMo93] Vazirgiannis M., Mourlas C.. An Object Oriented Model for Interactive Multimedia Applications, The Computer Journal, British Computer Society, 36(1), Janeiro 1993.

[Vazi99] Vazirgiannis, M. Interactive Multimedia Documents. Lecture Notes in Computer Science, n.1564, Springer-Verlag, 1999.

[ViRL00] Villard, L.; Roisin, C.; Layaïda, N. An XML-based multimedia document processing model for content adaptation. VIII International Conference on Digital Documents and Electronic Publishing, set. 2000.

[WDSS95] Wolf, L.; Delgrossi, L.; Steinmetz, R.; Schaller, S.; Wittig, H. Issues of Reserving Resources in Advance. Proc. 5th International Workshop on Network and Operating System Support for Digital Audio and Video, abr. 1995.

[Wild99] Wilde E. Wilde’s WWW – Technical Foundations of the World Wide Web, Springer-Werlag, Alemanha, 1999.

[Wile99] Wile D. AML: An Architecture Meta-Language, Proceedings of the 14th International Conference on Automated Software Engineering (ASE’99), Cocoa Beach, FL, Outubro 1999.

[WSSD96a] Willrich R., Saqui-Sannes P., Senac P., Diaz M. Hypermedia Document Design Using the HTSPN Model, Proceedings of the Multimedia Modeling Conference – MMM’96, Toulouse, France, Novembro 1996.

[WSSD96b] Willrich, R.; Sénac, P.; Saqui-Sannes, P.; Diaz, M. Towards Hypermedia Documents Design. XIV Simpósio Brasileiro em Redes de Computadores, Fortaleza, Brasil, mai. 1996, pp. 473-491.

[XHTM01] XHTML™ 1.1 - Module-based XHTML, W3C Recommendation, disponível em http://www.w3.org/TR/xhtml11, Maio 2001.

[XHTM02] XHTML+SMIL Profile, W3C Note, disponível em http://www.w3.org/TR/XHTMLplusSMIL, Janeiro 2002.

[XLIN01] XML Linking Language (XLink) Version 1.0, W3C Recommendation, disponível em http://www.w3.org/TR/xlink, Junho 2001.

[XML00] Extensible Markup Language (XML) 1.0 (Second Edition), W3C Recommendation, disponível em http://www.w3.org/TR/REC-xml, Outubro 2000.

[XML98] Bray T., Paoli J., Sperberg-McQueen C.M., Maler E. Extensible Markup Language (XML) 1.0 (Second Edition), W3C Recommendation, disponível em http://www.w3.org/TR/REC-xml, Fevereiro 1998.

[XSL01] Extensible Stylesheet Language (XSL) Version 1.0, W3C Recommendation, disponível em http://www.w3.org/TR/xsl/, Outubro 2001.

[XSLT99] XSL Transformations (XSLT) Version 1.0. W3C Recommendation, disponível em http://www.w3.org/TR/xslt, Novembro 1999.

[YaMe85] Yankelovich N., Meyrowitz N. Reading and Writing the Electronic Book, IEEE Computer, Outubro 1985.

[ZCB98] X. Zhao, C. Castelluccia, and M. Baker, Flexible Network Support for Mobility. presented at Fourth ACM International Conference on Mobile Computing and Networking (MOBICOM'98), 1998.

[ZES+93] L. Zhang, S. Deering, D. Estrin, S. Shenker, and D. Zappala, RSVP: A New Resource Reservation Protocol. IEEE Network Magazine, pp. 8-18, 1993.