Search Results - communication simulation concurrent decisions

1

Transactions on Petri Nets and Other Models of Concurrency V

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

CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 /

Published 2006

Table of Contents: “...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...”
View full text

Electronic eBook

3

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Published 2014

Table of Contents: “... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”
View full text

Electronic eBook

4

Multi-Agent-Based Simulation VII International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /

Published 2007

Table of Contents: “... Communication -From Questionnaire Surveys to Agent-Based Simulation -- Modeling Human Education Data: From...”
View full text

Electronic eBook

5

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Published 2006

Table of Contents: “... Logic -- A Similarity Measure between Tandem Duplication Trees -- Finding Optimal Decision Trees...”
View full text

Electronic eBook

6

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”
View full text

Electronic eBook

7

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings /

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

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice o...

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

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Published 2007

Table of Contents: “... Markov Chain Lumping -- Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations -- Model...”
View full text

Electronic eBook

10

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Published 2010

Table of Contents: “... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”
View full text

Electronic eBook

11

Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings /

Published 2008

Table of Contents: “... Models for Concurrent Software Systems -- Filtering Algorithm for Agent-Based Incident Communication...”
View full text

Electronic eBook

12

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2...

Published 2010

Table of Contents: “... Information Systems -- An Entirely Model-Based Framework for Hardware Design and Simulation -- Extending...”
View full text

Electronic eBook

13

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Published 2010

Table of Contents: “... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”
View full text

Electronic eBook

14

Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Stochastic Comparisons for Performability of Telecommunication Systems -- Model-Based Stochastic Simulation...”
View full text

Electronic eBook

15

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

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

Information Science and Applications

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

Product Lifecycle Management: Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers /

Published 2012

Table of Contents: “... with Information Systems -- Manufacturing Process Planning in Set-Based Concurrent Engineering Paradigm -- PLM...”
View full text

Electronic eBook

18

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /

Published 2005

Table of Contents: “... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...”
View full text

Electronic eBook

19

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2008

Table of Contents: “... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”
View full text

Electronic eBook

20

Intelligent Automation and Computer Engineering

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

Narrow Search