Sciweavers

474 search results - page 8 / 95
» Structure-preserving model reduction of complex physical sys...
Sort
View
PADS
2003
ACM
15 years 5 months ago
HLA-based Adaptive Distributed Simulation of Wireless Mobile Systems
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...
Luciano Bononi, Gabriele D'Angelo, Lorenzo Donatie...
LICS
2010
IEEE
14 years 11 months ago
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
Vincent Danos, Jérôme Feret, Walter F...
108
Voted
APLAS
2005
ACM
15 years 6 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
MABS
2000
Springer
15 years 4 months ago
Multi Agent Based Simulation: Beyond Social Simulation
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...
Paul Davidsson
192
Voted
DAI
1998
Springer
15 years 4 months ago
Physically Based, Self-Organizing Cellular Automata
A physically based system of interacting polyhedral objects is used to model self-assembly and spontaneous organization of complex structures. The surfaces of the polyhedra in the ...
Alan Dorin