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