4348 search results - page 335 / 870 » Using UML for Modeling Complex Real-Time Systems |
174
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
211
click to vote
SSPR
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In surveillance systems for monitoring people behaviour, it is imporant to build systems that can adapt to the signatures of the people tasks and movements in the environ...
166
click to vote
ESOA
2006
15 years 10 months ago
2006
Holonic Multi-Agent Systems (HMAS) are a convenient way to engineer complex and open systems. In such systems, agents have to be able to self-organize to satisfy their goals. Our w...
170
click to vote
WSC
1998
15 years 8 months ago
1998
Component-based software can be used to develop highly modular simulation environments supporting high reusability of software components. This paper examines a case study in whic...
178
click to vote
ICIP
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper, we propose a novel technique for modelbased recognition of complex object motion trajectories using Hidden Markov Models (HMM). We build our models on Principal Com...