Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
communication simulation » communication education, communication foundation, communication evolution
simulation concurrent » simulations concurrent, formulation concurrent, saturation concurrent
concurrent decisions » concurrent design, concurrent session, procurement decisions
communication simulation » communication education, communication foundation, communication evolution
simulation concurrent » simulations concurrent, formulation concurrent, saturation concurrent
concurrent decisions » concurrent design, concurrent session, procurement decisions
1
Published 2012
Table of Contents:
“... Order for Decision Diagram-Based Representation from P/T Nets -- Bounded Model Checking for Parametric...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Communication -From Questionnaire Surveys to Agent-Based Simulation -- Modeling Human Education Data: From...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Logic -- A Similarity Measure between Tandem Duplication Trees -- Finding Optimal Decision Trees...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... of Forward Link in CDMA Mobile Communication Systems -- Session 8: Memory Systems Hierarchy and Management...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Markov Chain Lumping -- Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations -- Model...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Models for Concurrent Software Systems -- Filtering Algorithm for Agent-Based Incident Communication...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Information Systems -- An Entirely Model-Based Framework for Hardware Design and Simulation -- Extending...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... -- Stochastic Comparisons for Performability of Telecommunication Systems -- Model-Based Stochastic Simulation...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... and Wireless Communication: A Real Time Study -- IMM-I46: Inter Mobility Management for an Integrated IPv4...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Analysis in Concurrent Multi-Channel Viewing on P2PTV; K.Mizutani, et al -- Evaluation Method of MANET over...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... with Information Systems -- Manufacturing Process Planning in Set-Based Concurrent Engineering Paradigm -- PLM...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“...A Linguistic CMAC vs. a Linguistic Decision Tree for Decision Making -- A Multiple Criteria Group...”View full text
Electronic
eBook



