6308 search results - page 136 / 1262 » Modeling Urgency in Timed Systems |
103
click to vote
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
117
click to vote
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
WORDS
2003
IEEE
15 years 3 months ago
2003
IEEE
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
CVBIA
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we present a novel deformable model for soft tissue simulation in a real-time manner. The innovative model consists of two submodels: the surface one and the interna...
LREC
2010
14 years 11 months ago
2010
This paper investigates the effectiveness of online temporal language model adaptation when applied to a Thai broadcast news transcription task. Our adaptation scheme works as fol...