6308 search results - page 359 / 1262 » Modeling Urgency in Timed Systems |
160
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...
175
Voted
DBPL
2001
Springer
15 years 11 months 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...
132
click to vote
UM
2005
Springer
16 years 5 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...
135
click to vote
CGF
2000
15 years 6 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...
175
click to vote
CDC
2010
IEEE
15 years 1 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 ...