Sciweavers

3856 search results - page 6 / 772
» Models for Automated Earthmoving
Sort
View
94
Voted
QEST
2010
IEEE
14 years 9 months ago
Automating the Mean-Field Method for Large Dynamic Gossip Networks
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...
CL
2000
Springer
15 years 4 months ago
Perfect Model Checking via Unfold/Fold Transformations
Alberto Pettorossi, Maurizio Proietti
69
Voted
TIME
1998
IEEE
15 years 3 months ago
Model-Based Visualization of Temporal Abstractions
Yuval Shahar, Cleve Cheng
70
Voted
TPHOL
1998
IEEE
15 years 3 months ago
Formalizing Basic First Order Model Theory
John Harrison