14360 search results - page 457 / 2872 » Time Modeling in MARTE |
179
Voted
ROBOCUP
1999
Springer
15 years 9 months ago
1999
Springer
Virtual RoboCup is a real-time 3D visualization tool for 2D simulated soccer games as played in the RoboCup simulation league. Players are modeled as anthropmorphic gures and anima...
125
click to vote
HASE
1997
IEEE
15 years 9 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
125
click to vote
ICCCN
1997
IEEE
15 years 9 months ago
1997
IEEE
With the advances in server technology, and the advent of fast Gigabit networks, it has become possible to support multi-media applications. To support the requirements for the tr...
131
click to vote
VLDB
1998
ACM
15 years 9 months ago
1998
ACM
The design of secure buffer managers for database systems supporting real-time applications with firm deadlines is studied here. We first identify the design challenges and then p...
161
Voted
CIKM
1997
Springer
15 years 9 months ago
1997
Springer
: In the context of knowledge management, we focus on the representation and the retrieval of past experiences called cases within the Case-Based Reasoning (CBR) paradigm. CBR is a...