Sciweavers

3856 search results - page 6 / 772
» Models for Automated Earthmoving
Sort
View
QEST
2010
IEEE
15 years 2 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...
112
Voted
CL
2000
Springer
15 years 9 months ago
Perfect Model Checking via Unfold/Fold Transformations
Alberto Pettorossi, Maurizio Proietti
103
Voted
TIME
1998
IEEE
15 years 9 months ago
Model-Based Visualization of Temporal Abstractions
Yuval Shahar, Cleve Cheng
120
Voted
TPHOL
1998
IEEE
15 years 9 months ago
Formalizing Basic First Order Model Theory
John Harrison