Search Sciweavers | Sciweavers

4586 search results - page 43 / 918

» Computing stable models in parallel

click to vote

ISPAN
2002
IEEE

82views Distributed And Parallel Com...» more ISPAN 2002»

Routing Algorithms Based on 2D Turn Model for Irregular Networks

15 years 8 months ago

Download www.am.ics.keio.ac.jp

Akiya Jouraku, Michihiro Koibuchi, Hideharu Amano,...

claim paper

Read More »

118

click to vote

CONCUR
2001
Springer

133views Distributed And Parallel Com...» more CONCUR 2001»

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains

15 years 7 months ago

Download wwwhome.cs.utwente.nl

Holger Hermanns, Joost-Pieter Katoen

claim paper

Read More »

click to vote

PACT
2001
Springer

83views Distributed And Parallel Com...» more PACT 2001»

A Transaction Processing Model for the Mobile Data Access System

15 years 7 months ago

Download www.cs.ucf.edu

K. Segun, Ali R. Hurson, Amanda Spink

claim paper

Read More »

110

click to vote

ICDCS
1998
IEEE

87views Distributed And Parallel Com...» more ICDCS 1998»

Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation

15 years 7 months ago

Download www.cs.ncl.ac.uk

Jie Xu, Alexander B. Romanovsky, Brian Randell

claim paper

Read More »

104

click to vote

COORDINATION
1997
Springer

98views Distributed And Parallel Com...» more COORDINATION 1997»

Modeling Railway Control Systems Using Graph Grammars: A Case Study

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers