Inicio > > Informática: cuestiones generales > Tworzenie modeli symulacyjnych protokołów komunikacyjnych
Tworzenie modeli symulacyjnych protokołów komunikacyjnych

Tworzenie modeli symulacyjnych protokołów komunikacyjnych

Gurpreet Singh Saini / Md. Tanzilur Rahman

74,51 €
IVA incluido
Disponible
Editorial:
KS OmniScriptum Publishing
Año de edición:
2026
Materia
Informática: cuestiones generales
ISBN:
9786209962035
74,51 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Kálamo Books
  • Librería Elías (Asturias)
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

W dziedzinie technik ułatwionej weryfikacji i walidacji opartej na modelach nastąpił znaczny postęp. Większość z nich opiera się na obserwacji zewnętrznego zachowania systemu. Nasze podejście jest z tym zgodne i sprawdza się nawet w sytuacji, gdy kod źródłowy obserwowanego systemu nie jest dostępny. Mechanizm wnioskowania pozwala nam wywnioskować takie modele maszynowe na podstawie obserwacji. Przedstawiamy framework, który pozwala generować komponenty o stanach nieskończonych/skończonych i dostosowuje się do weryfikacji formalnych. Wykorzystywane modele to protokoły komunikacyjne wywnioskowane poprzez regularną inferencję opartą na obserwacji zachowania podmiotów protokołu komunikacyjnego. Ponadto przedstawiono podejście, w którym obserwowane zachowanie protokołu jest walidowane względem zaprojektowanego modelu protokołu.

Artículos relacionados

  • Interview with Jeffery Khoury, Bringing Telemedicine to the People
    Richard G Lowe Jr
    Did you know you can consult with a medical specialist over your smartphone from the comfort of your own home? Imagine speaking to a highly-trained and accredited doctor about whatever is ailing you from virtually anywhere in the world.Thanks to a young entrepreneur named Jeffery Khoury, you can get the advice you need from a pool of medical specialists without waiting in a doc...
  • IT Consulting Secrets
    Carl A Katz
    This book is for IT consultants of all experience levels and the content is relevant to any IT support business model from managed services (MSP) to break/fix. The author has methodically compiled these strategies and this information from over sixteen years of experience working in the IT support field at the small and medium sized business and enterprise levels. ...
    Disponible

    29,41 €

  • Modeling, Analysis, and Applications in Metaheuristic Computing
    Peng-Yeng Yin
    The engineering and business problems the world faces today have become more impenetrable and unstructured, making the design of a satisfactory problem-specific algorithm nontrivial. Modeling, Analysis, and Applications in Metaheuristic Computing: Advancements and Trends is a collection of the latest developments, models, and applications within the transdisciplinary fields rel...
  • Knowledge Management and Drivers of Innovation in Services Industries
    Knowledge Management is concerned with all aspects of eliciting, acquiring, modelling, and managing knowledge. Application of knowledge resources successfully helps the organization to deliver creative products and services. Especially in service business, service job experience and information about the customer, as well as the installed site equipment, are key factors to deli...
  • Current Trends and Future Practices for Digital Literacy and Competence
    Antonio Cartelli
    Being a digital citizen has transformed from a process of familiarizing ones’ self with terminology and techniques to a full-time responsibility in the hands of any who want to stay abreast of the latest technological change in their respective field. Current Trends and Future Practices for Digital Literacy and Competence offers a look at the latest research within digital lite...
  • Human Rights and Risks in the Digital Era
    Globalization, along with its digital and information communication technology counterparts, including the Internet and cyberspace, may signify a whole new era for human rights, characterized by new tensions, challenges, and risks for human rights, as well as new opportunities. Human Rights and Risks in the Digital Era: Globalization and the Effects of Information Technologies ...

Otros libros del autor

  • Génération de modèles de simulation de protocoles de communication
    Gurpreet Singh Saini / Md. Tanzilur Rahman
    De nombreux progrès ont été réalisés dans le domaine des techniques de vérification et de validation basées sur des modèles. La plupart d’entre elles reposent sur l’observation du comportement externe du système. Notre approche suit cette même ligne et s’applique même lorsque le code source du système à observer n’est pas disponible. Un mécanisme d’inférence nous permet de dédu...
    Disponible

    73,20 €

  • Erstellung von Simulationsmodellen für Kommunikationsprotokolle
    Gurpreet Singh Saini / Md. Tanzilur Rahman
    Im Bereich der vereinfachten modellbasierten Verifikations- und Validierungstechniken gab es zahlreiche Entwicklungen. Die meisten davon basieren auf der Beobachtung des externen Verhaltens des Systems. Unser Ansatz folgt diesem Prinzip und ist auch dann gültig, wenn der Quellcode des zu beobachtenden Systems nicht verfügbar ist. Inferenzmechanismen ermöglichen es uns, solche M...
    Disponible

    74,51 €

  • Generazione di modelli di simulazione dei protocolli di comunicazione
    Gurpreet Singh Saini / Md. Tanzilur Rahman
    Si sono registrati numerosi sviluppi nel campo delle tecniche di verifica e convalida basate su modelli facilitati. La maggior parte di esse si è basata sull’osservazione del comportamento esterno del sistema. Il nostro approccio segue la stessa linea ed è valido anche quando il codice sorgente del sistema oggetto di osservazione non è disponibile; i meccanismi di inferenza ci ...
    Disponible

    74,51 €

  • Criação de modelos de simulação de protocolos de comunicação
    Gurpreet Singh Saini / Md. Tanzilur Rahman
    Tem havido muitos avanços no campo das técnicas facilitadas de verificação e validação baseadas em modelos. A maioria delas tem-se baseado na observação do comportamento externo do sistema. A nossa abordagem segue o mesmo princípio e é válida mesmo quando o código-fonte do sistema em análise não está disponível. Os mecanismos de inferência permitem-nos inferir esses modelos de ...
    Disponible

    74,51 €