Søgeresultater - communication communication concurrent decisions a linked

1

CONCUR 2006 - Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 /

Udgivet 2006

Indholdsfortegnelse: “... of Concurrency -- Model Checking -- A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems...”
Få fuldtekst

Electronisk eBog

2

Transactions on Petri Nets and Other Models of Concurrency V

Udgivet 2012

Indholdsfortegnelse: “... in Chemical Reaction Networks -- Modeling and Mining of Learnflows -- Ten Years of Saturation: A Petri Net...”
Få fuldtekst

Electronisk eBog

3

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /

Udgivet 2008

Indholdsfortegnelse: “... -- On Beta-Binders Communications -- On the Asynchronous Nature of the Asynchronous ?-Calculus -- StonyCam: A...”
Få fuldtekst

Electronisk eBog

4

Petri Nets and Other Models of Concurrency - ICATPN 2007 28th International Conference...

Udgivet 2007

Indholdsfortegnelse: “... Decision Petri Net and Markov Decision Well-Formed Net Formalisms -- Comparison of the Expressiveness...”
Få fuldtekst

Electronisk eBog

5

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Udgivet 2014

Indholdsfortegnelse: “... of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs...”
Få fuldtekst

Electronisk eBog

6

Decision and Game Theory for Security First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Games in Mobile Networks -- gPath: A Game-Theoretic Path Selection Algorithm to Protect Tor’s Anonymity...”
Få fuldtekst

Electronisk eBog

7

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM´06 Conference held in Ustron, Poland, June 19-22, 2006 /

Udgivet 2006

Indholdsfortegnelse: “... Logic -- A Similarity Measure between Tandem Duplication Trees -- Finding Optimal Decision Trees...”
Få fuldtekst

Electronisk eBog

8

Intelligent Decision Systems in Large-Scale Distributed Environments

Udgivet 2011

Indholdsfortegnelse: “...Task Allocation Oriented Users Decisions in Computational Grid -- Efficient Hierarchical Task...”
Få fuldtekst

Electronisk eBog

9

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making 9th Asian Computing Science...

Udgivet 2005

Indholdsfortegnelse: “... Random Boolean Function -- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory...”
Få fuldtekst

Electronisk eBog

10

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...Data Warehouse I -- A Tree Comparison Approach to Detect Changes in Data Warehouse Structures...”
Få fuldtekst

Electronisk eBog

11

Data Warehousing and Knowledge Discovery 8th International Conference, DaWaK 2006, Krakow, Poland, September 4-8, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- Frequent Itemsets -- A Greedy Approach to Concurrent Processing of Frequent Itemset Queries -- Two New...”
Få fuldtekst

Electronisk eBog

12

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Register Files with Access Constraints -- Designing a Concurrent Hardware Garbage Collector for Small...”
Få fuldtekst

Electronisk eBog

13

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice o...

Udgivet 2006

Indholdsfortegnelse: “... for Higher-Order Concurrent Programs -- A Region Graph Based Approach to Termination Proofs -- Verifying...”
Få fuldtekst

Electronisk eBog

14

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Udgivet 2007

Indholdsfortegnelse: “... by Graph Decomposition -- A Reachability Predicate for Analyzing Low-Level Software -- Generating...”
Få fuldtekst

Electronisk eBog

15

Multi-Agent-Based Simulation VII International Workshop, MABS 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers /

Udgivet 2007

Indholdsfortegnelse: “... and Methodologies -- A Holonic Approach to Model and Deploy Large Scale Simulations -- Concurrent Modeling...”
Få fuldtekst

Electronisk eBog

16

Advances in Web Intelligence Third International Atlantic Web Intelligence Conference, AWIC 2005, Lodz, Poland, June 6-9, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... to a Grid Based Environment -- DCP-Grid A Framework for Concurrent Distributed Transactions on Grid...”
Få fuldtekst

Electronisk eBog

17

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Communication Protocol for CSCW Systems Using Coloured Petri Nets -- The Design of a Workflow-Centric, Context...”
Få fuldtekst

Electronisk eBog

18

Distributed Computing 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... in Message Passing Systems with Byzantine Failures -- Built-In Coloring for Highly-Concurrent Doubly-Linked...”
Få fuldtekst

Electronisk eBog

19

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Session 9. Concurrent Program Verification I -- Universal Causality Graphs: A Precise Happens-Before Model...”
Få fuldtekst

Electronisk eBog

20

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Procedures for the Temporal Verification of Concurrent Lists -- An Improved Decision Procedure...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning