Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
communication concurrent » communication current, communication content, computation concurrent
concurrent decisions » concurrent design, concurrent session, procurement decisions
decisions a » decisions _
a linked » _ linked, n linked, a link
communication concurrent » communication current, communication content, computation concurrent
concurrent decisions » concurrent design, concurrent session, procurement decisions
decisions a » decisions _
a linked » _ linked, n linked, a link
1
Udgivet 2006
Indholdsfortegnelse:
“... of Concurrency -- Model Checking -- A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2012
Indholdsfortegnelse:
“... in Chemical Reaction Networks -- Modeling and Mining of Learnflows -- Ten Years of Saturation: A Petri Net...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2008
Indholdsfortegnelse:
“... -- On Beta-Binders Communications -- On the Asynchronous Nature of the Asynchronous ?-Calculus -- StonyCam: A...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2007
Indholdsfortegnelse:
“... Decision Petri Net and Markov Decision Well-Formed Net Formalisms -- Comparison of the Expressiveness...”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
Udgivet 2010
Indholdsfortegnelse:
“... Games in Mobile Networks -- gPath: A Game-Theoretic Path Selection Algorithm to Protect Tor’s Anonymity...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2006
Indholdsfortegnelse:
“... Logic -- A Similarity Measure between Tandem Duplication Trees -- Finding Optimal Decision Trees...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2011
Indholdsfortegnelse:
“...Task Allocation Oriented Users Decisions in Computational Grid -- Efficient Hierarchical Task...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2005
Indholdsfortegnelse:
“... Random Boolean Function -- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2005
Indholdsfortegnelse:
“...Data Warehouse I -- A Tree Comparison Approach to Detect Changes in Data Warehouse Structures...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2006
Indholdsfortegnelse:
“... -- Frequent Itemsets -- A Greedy Approach to Concurrent Processing of Frequent Itemset Queries -- Two New...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2005
Indholdsfortegnelse:
“... Register Files with Access Constraints -- Designing a Concurrent Hardware Garbage Collector for Small...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2006
Indholdsfortegnelse:
“... for Higher-Order Concurrent Programs -- A Region Graph Based Approach to Termination Proofs -- Verifying...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2007
Indholdsfortegnelse:
“... by Graph Decomposition -- A Reachability Predicate for Analyzing Low-Level Software -- Generating...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2007
Indholdsfortegnelse:
“... and Methodologies -- A Holonic Approach to Model and Deploy Large Scale Simulations -- Concurrent Modeling...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2005
Indholdsfortegnelse:
“... to a Grid Based Environment -- DCP-Grid A Framework for Concurrent Distributed Transactions on Grid...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2005
Indholdsfortegnelse:
“... Communication Protocol for CSCW Systems Using Coloured Petri Nets -- The Design of a Workflow-Centric, Context...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2006
Indholdsfortegnelse:
“... in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2010
Indholdsfortegnelse:
“... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2010
Indholdsfortegnelse:
“... Procedures for the Temporal Verification of Concurrent Lists -- An Improved Decision Procedure...”Få fuldtekst
Electronisk
eBog



