starting point TCP/IP State Transition Diagram (RFC793) CLOSED

Source URL: www.doc.ic.ac.uk

• Computing
• Network architecture
• Data transmission
• Transmission Control Protocol
• Flow control
• Network protocols
• Acknowledgement
• Internet protocol suite
• SYN flood

25 CPCorrect errors in State Diagram of Hosted Applications 1

Source URL: dicom.nema.org

Markov weather state diagram

Source URL: www.americanscientist.org

Martins West Room Diagram_1

Source URL: www.mde.state.md.us

PIECE BY PIECE: A METHOD OF CARTOGRAPHIC LINE GENERALIZATION USING REGULAR HEXAGONAL TESSELLATION P. Raposo Department of Geography, The Pennsylvania State University. University Park, Pennsylvania

Source URL: pauloraposo.weebly.com

• Geometry
• Tessellation
• Cartography
• Polygons
• Cartographic generalization
• Communication design
• Graphic design
• Generalization
• Hexagon
• RamerDouglasPeucker algorithm
• Voronoi diagram
• Topological map

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c

Source URL: www.mpi-sws.org

• Graph theory
• Mathematics
• Model checking
• Theoretical computer science
• Graph
• Binary decision diagram
• Tree
• Circuit
• Symbolic trajectory evaluation
• Signal-flow graph
• Topology

Exploiting the Potential of Diagrams in Guiding Hardware Reasoning Kathi Fisler Department of Computer Science Lindley Hall 215 Indiana University

Source URL: web.cs.wpi.edu

• Electronic engineering
• Electronic design automation
• Computing
• Engineering
• Digital systems
• Diagram
• Infographics
• Algorithmic state machine
• VHDL
• Input/output
• Digital electronics
• COM

Translating SCXML Statecharts to iUML-B State-machines Karla Morris :

Source URL: wiki.event-b.org

• Computing
• SCXML
• Models of computation
• Call Control eXtensible Markup Language
• State diagram
• Formal methods
• Auguste Rodin
• B-Method
• Finite-state machine
• Rodin
• Linz

A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook

Source URL: bsd7.cs.sunysb.edu

• Mathematics
• Logic
• Mathematical logic
• Boolean algebra
• Formal languages
• Model theory
• Binary decision diagram
• Model checking
• IP
• Boolean satisfiability problem
• Constructible universe
• Well-formed formula

The engineering of generic requirements for failure management Colin Snook1, Michael Poppleton1, and Ian Johnson2 1 School of Electronics and Computer Science,

Source URL: rodin.cs.ncl.ac.uk

• Software engineering
• Unified Modeling Language
• Technology
• Computing
• Diagram
• Object Process Methodology
• Modeling language
• Class diagram
• Abstract state machines
• Profile
• Domain analysis
• Specification