Arama Sonuçları - communication computation concurrent decisions

1

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Invited Papers -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- Autonomous...”
Tam Metin Erişim

Elektronik Ekitap

4

Transactions on Petri Nets and Other Models of Concurrency V

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Perspective -- Refinement and Asynchronous Composition of Modal Petri Nets -- Computing a Hierarchical Static...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2010

Konular: “...Computer communication systems....”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “...CBTree: A Practical Concurrent Self-Adjusting Search Tree -- Efficient Fetch-and-Increment.- Show...”
Tam Metin Erişim

Elektronik Ekitap

10

Intelligent Decision Systems in Large-Scale Distributed Environments

Baskı/Yayın Bilgisi 2011

İçindekiler: “...Task Allocation Oriented Users Decisions in Computational Grid -- Efficient Hierarchical Task...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Forward Link in CDMA Mobile Communication Systems -- Session 8: Memory Systems Hierarchy and Management...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Services -- A Decision Matrix Approach -- Assignment of Security Clearances in an Organization -- Tool...”
Tam Metin Erişim

Elektronik Ekitap

17

Intelligent Automation and Computer Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “...A Linguistic CMAC vs. a Linguistic Decision Tree for Decision Making -- A Multiple Criteria Group...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Outcomes of the Joint International Conference on Computing and Decision Making in Civil...”
Tam Metin Erişim

Elektronik Ekitap

19

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt