6308 search results - page 359 / 1262 » Modeling Urgency in Timed Systems |
186
Voted
ERSA
2006
15 years 9 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...
202
click to vote
DBPL
2001
Springer
16 years 13 hour ago
2001
Springer
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formul...
146
Voted
UM
2005
Springer
16 years 1 months 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...
147
Voted
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...
198
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 ...