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