4348 search results - page 64 / 870 » Using UML for Modeling Complex Real-Time Systems |
ECRTS
2002
IEEE
15 years 2 months ago
2002
IEEE
General-purpose operating systems are ill-equipped to meet the quality of service (QoS) requirements of complex real-time applications. Consequently, many classes of realtime appl...
89
Voted
ICPR
2010
IEEE
14 years 7 months ago
2010
IEEE
In this paper, we proposed a novel real-time abnormal event detection framework that requires a short training period and has a fast processing speed. Our approach is based on phas...
88
Voted
APIN
2002
14 years 9 months ago
2002
Abstract: Locally weighted learning (LWL) is a class of techniques from nonparametric statistics that provides useful representations and training algorithms for learning about com...
95
Voted
ENTCS
2007
14 years 9 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
ISOLA
2007
Springer
15 years 3 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...