| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
22/01/1999 |
|
Data da última atualização: |
10/03/2011 |
|
Autoria: |
TORO, M. |
|
Afiliação: |
MÁRIA TÖRÖ, KFKI Research Institute for Measurement and Computing Techniques. |
|
Título: |
Simulation of IP mobility support: an experiment in mobile protocol specification with SDL. |
|
Ano de publicação: |
1997 |
|
Fonte/Imprenta: |
In: CAVALLI, A.; SARMA, A. (Ed.). SDL '97: Time for testing: SDL, MSC and trends: proceedings. Amsterdam: Elsevier, 1997. |
|
Páginas: |
p. 119-134. |
|
Idioma: |
Inglês |
|
Conteúdo: |
This paper addresses the question of modeling mobile protocols with SDL using the example of the new Internet standard: IP Mobility Support. A modified channel model is presented that allows the specification of dynamically changing communication path configurations, which is the main difference between the stationary and mobile protocols, and which plays the key role in initiation of mobility handling mechanisms. We show how this new channel concept allows us to detect some problems with the protocol, such as data loss due to the early expiration of the registration life-time in the home agent, which occurs any time when the signal delay increases between the mobile host and its home agent. The suggested channel modification easily fits with other SDL mechanisms. It allows the specification of features characteristic of the mobile environment without increasing the complexity of the specification which would be required by the current SDL. |
|
Palavras-Chave: |
Especificação formal; Linguagem SDL; Simulation. |
|
Thesagro: |
Simulação. |
|
Thesaurus Nal: |
Computer science. |
|
Categoria do assunto: |
X Pesquisa, Tecnologia e Engenharia |
|
Marc: |
LEADER 01570naa a2200193 a 4500
001 1006942
005 2011-03-10
008 1997 bl uuuu u00u1 u #d
100 1 $aTORO, M.
245 $aSimulation of IP mobility support$ban experiment in mobile protocol specification with SDL.
260 $c1997
300 $ap. 119-134.
520 $aThis paper addresses the question of modeling mobile protocols with SDL using the example of the new Internet standard: IP Mobility Support. A modified channel model is presented that allows the specification of dynamically changing communication path configurations, which is the main difference between the stationary and mobile protocols, and which plays the key role in initiation of mobility handling mechanisms. We show how this new channel concept allows us to detect some problems with the protocol, such as data loss due to the early expiration of the registration life-time in the home agent, which occurs any time when the signal delay increases between the mobile host and its home agent. The suggested channel modification easily fits with other SDL mechanisms. It allows the specification of features characteristic of the mobile environment without increasing the complexity of the specification which would be required by the current SDL.
650 $aComputer science
650 $aSimulação
653 $aEspecificação formal
653 $aLinguagem SDL
653 $aSimulation
773 $tIn: CAVALLI, A.; SARMA, A. (Ed.). SDL '97: Time for testing: SDL, MSC and trends: proceedings. Amsterdam: Elsevier, 1997.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Gado de Leite. |
|
Data corrente: |
13/02/2013 |
|
Data da última atualização: |
18/03/2024 |
|
Tipo da produção científica: |
Artigo em Anais de Congresso |
|
Autoria: |
MOURTHE, M. H. F.; LOPES, F. C. F.; REIS, R. B.; SALOMÃO, B. M.; SOARES, F. N.; GAMA, M. A. S. da; REIS, L. G.; ALEVATO, C. B. |
|
Afiliação: |
MARIO HENRIQUE FRANÇA MOURTHE, UFVJM; FERNANDO CESAR FERRAZ LOPES, CNPGL; RONALDO BRAGA REIS, UFMG; BERNARDO MURTA SALOMÃO, UFVJM; FELIPE NOGUEIRA SOARES, UFRA; MARCO ANTONIO SUNDFELD DA GAMA, CNPGL; LARISSA GOMES REIS, UFJF; CAROLLINA BANNI ALEVATO, UFJF. |
|
Título: |
Metabolitos sanguineos de vacas holandes x gir em lactação manejadas em pastagens de Brachiaria suplementada com quantidades crescentes de grão de soja tostado. |
|
Ano de publicação: |
2012 |
|
Fonte/Imprenta: |
In: CONGRESSO BRASILEIRO DE ZOOTECNIA, 22., 2012, Cuiabá. A importância da zootecnia para a segurança alimentar: [anais]. Cuiabá: Universidade Federal de Mato Grosso, 2012. |
|
Idioma: |
Português |
|
Palavras-Chave: |
Acidos graxos não esterificados; Bovinos. |
|
Thesagro: |
Forrageira Tropical; Glicose; Plasma. |
|
Categoria do assunto: |
L Ciência Animal e Produtos de Origem Animal |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/doc/949119/1/Metabolitos-sanguineos-de-vacas-holandes.pdf
|
|
Marc: |
LEADER 00922nam a2200241 a 4500
001 1949119
005 2024-03-18
008 2012 bl uuuu u00u1 u #d
100 1 $aMOURTHE, M. H. F.
245 $aMetabolitos sanguineos de vacas holandes x gir em lactação manejadas em pastagens de Brachiaria suplementada com quantidades crescentes de grão de soja tostado.$h[electronic resource]
260 $aIn: CONGRESSO BRASILEIRO DE ZOOTECNIA, 22., 2012, Cuiabá. A importância da zootecnia para a segurança alimentar: [anais]. Cuiabá: Universidade Federal de Mato Grosso$c2012
650 $aForrageira Tropical
650 $aGlicose
650 $aPlasma
653 $aAcidos graxos não esterificados
653 $aBovinos
700 1 $aLOPES, F. C. F.
700 1 $aREIS, R. B.
700 1 $aSALOMÃO, B. M.
700 1 $aSOARES, F. N.
700 1 $aGAMA, M. A. S. da
700 1 $aREIS, L. G.
700 1 $aALEVATO, C. B.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Gado de Leite (CNPGL) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Expressão de busca inválida. Verifique!!! |
|
|
