7557 search results - page 595 / 1512 » Modeling Timed Concurrent Systems |
174
click to vote
ERSA
2006
15 years 8 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
140
click to vote
UM
2005
Springer
16 years 17 days ago
2005
Springer
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...
143
click to vote
CGF
2000
15 years 7 months ago
2000
Geometric acoustic modeling systems spatialize sounds according to reverberation paths from a sound source to a receiver to give an auditory impression of a virtual 3D environment...
188
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
The aim of this paper is to propose a robust and accurate method for the parametric identification of the thermal behaviour of low consumption buildings. These buildings are known ...
178
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
Visualising computational simulation models of solid state physical systems is a hard problem for dense lattice models. Fly throughs and cutaways can aid viewer understanding of a...