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