Dssouli rachida (19 Ergebnisse)

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: Used. pp. 400 Illus.

Zustand: Used. pp. 400.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 256 pages. 9.25x6.10x0.59 inches. In Stock.

Zustand: New.

Kartoniert / Broschiert. Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the First International EAI Conference on Emerging Technologies for Developing Countries, AFRICATEK 2017, held in Marrakech, Morocco, in March 2017. The 15 full papers, 5 short papers, 2 invited papers and one poster paper were selected from 41 submissions. The papers are organized thematically in tracks, starting with wireless sensor networks (WSNs), vehicular area networks (VANs) and mobile networks; IoT and cloud computing; big data, data analytics, and knowledge management; processing big data over diverse clouds; Web services and software engineering; security.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Epistemology of Validation and Verification Testing.- Passive Testing - A Constrained Invariant Checking Approach.- Dependence Testing: Extending Data Flow Testing with Control Dependence.- Comparing Bug Finding Tools with Reviews and Tests.- Cross-Language Functional Testing for Middleware.- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams.- Action Refinement in Conformance Testing.- Multiplexing of Partially Ordered Events.- Testing Communicating Systems: a Model, a Methodology, and a Tool.- Coping with Nondeterminism in Network Protocol Testing.- Eliminating Redundant Tests in a Checking Sequence.- On FSM-Based Fault Diagnosis.- State Identification Problems for Timed Automata.- Timing Fault Models for Systems with Multiple Timers.- An Expressive and Implementable Formal Framework for Testing Real-Time Systems.- Firewall Conformance Testing.- Test Generation for Interaction Detection in Feature-Rich Communication Systems.- Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.- Detecting Trapdoors in Smart Cards Using Timing and Power Analysis.- From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -.- Using TTCN-3 for Testing Platform Independent Models.- Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing.- A Model-Based Approach for Robustness Testing.- Content-Level Conformance Testing: An Information Mapping Case Study.- Quiescence Management Improves Interoperability Testing.…

Taschenbuch. Zustand: Neu. Emerging Technologies for Developing Countries | First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings | Fatna Belqasmi (u. a.) | Taschenbuch | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering | xiii | Englisch | 2017 | Springer | EAN 9783319678368 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: Used. pp. 474 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Zustand: Used. pp. 474.

Zustand: New. In English.

Gebunden. Zustand: New. This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceeding.

Zustand: New. Contains the research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. Editor(s): Bochmann, Gregor von; Rafiq, Omar; Dssouli, Rachida. Series: IFIP Advances in Information and Communication Technology. Num Pages: 466 pages, biography. BIC Classification: PHDS; UTP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 1850. . 1996. Hardback. . . . . Books ship from the US and Ireland.…

Buch. Zustand: Neu. Neuware - This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.…