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