Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
communication computation » communication computational, communications computational, communication cooperation
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent decisions » concurrent design, concurrent session, procurement decisions
communication computation » communication computational, communications computational, communication cooperation
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent decisions » concurrent design, concurrent session, procurement decisions
1
Publicat 2006
Taula de continguts:
“...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...”Obtenir text complet
Electrònic
eBook
2
Publicat 2008
Taula de continguts:
“... Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision...”Obtenir text complet
Electrònic
eBook
3
Publicat 2007
Taula de continguts:
“...Invited Papers -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- Autonomous...”Obtenir text complet
Electrònic
eBook
4
Publicat 2012
Taula de continguts:
“... Perspective -- Refinement and Asynchronous Composition of Modal Petri Nets -- Computing a Hierarchical Static...”Obtenir text complet
Electrònic
eBook
5
Publicat 2014
Taula de continguts:
“... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Matèries:
“...Computer communication systems....”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... -- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments...”Obtenir text complet
Electrònic
eBook
8
Publicat 2006
Taula de continguts:
“... in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked...”Obtenir text complet
Electrònic
eBook
9
Publicat 2012
Taula de continguts:
“...CBTree: A Practical Concurrent Self-Adjusting Search Tree -- Efficient Fetch-and-Increment.- Show...”Obtenir text complet
Electrònic
eBook
10
Publicat 2011
Taula de continguts:
“...Task Allocation Oriented Users Decisions in Computational Grid -- Efficient Hierarchical Task...”Obtenir text complet
Electrònic
eBook
11
Publicat 2010
Taula de continguts:
“... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”Obtenir text complet
Electrònic
eBook
12
Publicat 2005
Taula de continguts:
“... of Forward Link in CDMA Mobile Communication Systems -- Session 8: Memory Systems Hierarchy and Management...”Obtenir text complet
Electrònic
eBook
13
Publicat 2015
Taula de continguts:
“... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...”Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...”Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“... Services -- A Decision Matrix Approach -- Assignment of Security Clearances in an Organization -- Tool...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“...A Linguistic CMAC vs. a Linguistic Decision Tree for Decision Making -- A Multiple Criteria Group...”Obtenir text complet
Electrònic
eBook
18
Publicat 2006
Taula de continguts:
“...Outcomes of the Joint International Conference on Computing and Decision Making in Civil...”Obtenir text complet
Electrònic
eBook
19
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...
Publicat 2014
Taula de continguts:
“... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...”Obtenir text complet
Electrònic
eBook
20
Publicat 2008
Taula de continguts:
“... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...”Obtenir text complet
Electrònic
eBook