7557 search results - page 1277 / 1512 » Modeling Timed Concurrent Systems |
181
click to vote
EGH
2003
Springer
16 years 14 days ago
2003
Springer
This paper presents a physically-based, visually-realistic interactive cloud simulation. Clouds in our system are modeled using partial differential equations describing fluid mot...
169
click to vote
ICCS
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...
191
click to vote
KESAMSTA
2010
Springer
16 years 20 hour ago
2010
Springer
The first trial of using the symmetry analysis method in modeling of behavior of complex social system is presented in this work. The evacuation of large building scenarios are d...
192
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we propose an approach for the analysis of power supply noise in the frequency domain for power/ground (P/G) networks of tree topologies. We model the P/G network a...
212
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...