4348 search results - page 85 / 870 » Using UML for Modeling Complex Real-Time Systems |
ECRTS
2008
IEEE
15 years 4 months ago
2008
IEEE
Real-time data services can benefit data-intensive real-time applications, e.g., e-commerce, via timely transaction processing using fresh data, e.g., the current stock prices. T...
ECOOP
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
104
click to vote
ICIAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Background updating is an important aspect of dynamic scene analysis. Two critical problems: sudden camera perturbation and the sleeping person problem, which arise frequ...
GLVLSI
2008
IEEE
15 years 4 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
113
click to vote
DAGSTUHL
2010
14 years 11 months ago
2010
We apply Knoll et al.'s algorithm [9] to interactively ray-cast constructive solid geometry (CSG) objects of arbitrary primitives represented as implicit functions. Whereas m...