Sciweavers

1355 search results - page 8 / 271
» Structural Model of Real-Time Databases
Sort
View
IJSEKE
1998
141views more  IJSEKE 1998»
13 years 7 months ago
REINAS: A Real-Time System for Managing Environmental Data
Managing scientific data is a challenging task, and many of the problems it presents have yet to be adequately solved. The Real-time Environmental Information Network and Analysi...
Eric C. Rosen, Theodore R. Haining, Darrell D. E. ...
ICRA
2002
IEEE
160views Robotics» more  ICRA 2002»
14 years 10 days ago
Real Time Simulation of Multizone Elastokinematic Models
— We introduce precomputed multizone elastokinematic models for interactive simulation of multibody kinematic systems which include elastostatic deformations. This enables an e...
Doug L. James, Dinesh K. Pai
CAV
2012
Springer
251views Hardware» more  CAV 2012»
11 years 9 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
14 years 2 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
GAMEON
2007
13 years 8 months ago
Opponent Modeling in Real-Time Strategy Games
Real-time strategy games present an environment in which game AI is expected to behave realistically. One feature of realistic behaviour in game AI is the ability to recognise the...
Frederik Schadd, Sander Bakkes, Pieter Spronck