Search Sciweavers | Sciweavers

3856 search results - page 6 / 772

» Models for Automated Earthmoving

153

click to vote

QEST
2010
IEEE

154views Modeling and Simulation» more QEST 2010»

Automating the Mean-Field Method for Large Dynamic Gossip Networks

15 years 2 months ago

Download www.cs.vu.nl

Abstract--We investigate an abstraction method, called meanfield method, for the performance evaluation of dynamic networks with pairwise communication between nodes. It allows us ...

Rena Bakhshi, Jörg Endrullis, Stefan Endrulli...

claim paper

Read More »

118

click to vote

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

15 years 8 months ago

Download eprints.ecs.soton.ac.uk

Michael Leuschel, Stefan Gruner

claim paper

Read More »

104

click to vote

CL
2000
Springer

104views Automated Reasoning» more CL 2000»

Perfect Model Checking via Unfold/Fold Transformations

15 years 8 months ago

Download www.dsi.unive.it

Alberto Pettorossi, Maurizio Proietti

claim paper

Read More »

click to vote

TIME
1998
IEEE

77views Automated Reasoning» more TIME 1998»

Model-Based Visualization of Temporal Abstractions

15 years 8 months ago

Download www.ise.bgu.ac.il

Yuval Shahar, Cleve Cheng

claim paper

Read More »

109

Voted

TPHOL
1998
IEEE

91views Automated Reasoning» more TPHOL 1998»

Formalizing Basic First Order Model Theory

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers