Rezultaty - communication computation concurrent decisions

1

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

Wydane 2006

Spis treści: “...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /

Wydane 2008

Spis treści: “... Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Petri Nets and Other Models of Concurrency - ICATPN 2007 28th International Conference...

Wydane 2007

Spis treści: “...Invited Papers -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- Autonomous...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Transactions on Petri Nets and Other Models of Concurrency V

Wydane 2012

Spis treści: “... Perspective -- Refinement and Asynchronous Composition of Modal Petri Nets -- Computing a Hierarchical Static...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2014

Spis treści: “... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Decision and Game Theory for Security First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings /

Wydane 2010

Hasła przedmiotowe: “...Computer communication systems....”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making 9th Asian Computing Science...

Wydane 2005

Spis treści: “... -- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Wydane 2006

Spis treści: “... in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Distributed Computing 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012, Proceedings /

Wydane 2012

Spis treści: “...CBTree: A Practical Concurrent Self-Adjusting Search Tree -- Efficient Fetch-and-Increment.- Show...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Intelligent Decision Systems in Large-Scale Distributed Environments

Wydane 2011

Spis treści: “...Task Allocation Oriented Users Decisions in Computational Grid -- Efficient Hierarchical Task...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2010

Spis treści: “... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2005

Spis treści: “... of Forward Link in CDMA Mobile Communication Systems -- Session 8: Memory Systems Hierarchy and Management...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Wydane 2015

Spis treści: “... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West...

Wydane 2005

Spis treści: “... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2005

Spis treści: “... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Security and Privacy in the Age of Ubiquitous Computing IFIP TC11 20th International Information Security Conference, May 30 - June 1, 2005, Chiba, Japan /

Wydane 2005

Spis treści: “... Services -- A Decision Matrix Approach -- Assignment of Security Clearances in an Organization -- Tool...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Intelligent Automation and Computer Engineering

Wydane 2010

Spis treści: “...A Linguistic CMAC vs. a Linguistic Decision Tree for Decision Making -- A Multiple Criteria Group...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers /

Wydane 2006

Spis treści: “...Outcomes of the Joint International Conference on Computing and Decision Making in Civil...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...

Wydane 2014

Spis treści: “... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS...

Wydane 2008

Spis treści: “... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty