1
Publicado em 2006
Sumário: ...Invited Contributions -- Modeling Timed Concurrent Systems -- Some Remarks on Definability...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2008
Sumário: ... Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2007
Sumário: ...Invited Papers -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- Autonomous...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2012
Sumário: ... Perspective -- Refinement and Asynchronous Composition of Modal Petri Nets -- Computing a Hierarchical Static...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2014
Sumário: ... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2010
Assuntos: ...Computer communication systems....
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2005
Sumário: ... -- Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2006
Sumário: ... in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2012
Sumário: ...CBTree: A Practical Concurrent Self-Adjusting Search Tree -- Efficient Fetch-and-Increment.- Show...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2011
Sumário: ...Task Allocation Oriented Users Decisions in Computational Grid -- Efficient Hierarchical Task...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2010
Sumário: ... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2005
Sumário: ... of Forward Link in CDMA Mobile Communication Systems -- Session 8: Memory Systems Hierarchy and Management...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2015
Sumário: ... -- Percentile Queries in Multi-dimensional Markov Decision Processes -- Faster Algorithms for Quantitative...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2005
Sumário: ... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2005
Sumário: ... Services -- A Decision Matrix Approach -- Assignment of Security Clearances in an Organization -- Tool...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ...A Linguistic CMAC vs. a Linguistic Decision Tree for Decision Making -- A Multiple Criteria Group...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2006
Sumário: ...Outcomes of the Joint International Conference on Computing and Decision Making in Civil...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2014
Sumário: ... of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes -- Maximal Cost...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2008
Sumário: ... Semigroups -- Optimal Lower Bounds on Regular Expression Size Using Communication Complexity -- On Decision...
Obter o texto integral
Recurso Electrónico livro electrónico