Sciweavers

1485 search results - page 183 / 297
» A System Dynamics Approach to Study Virtual Communities
Sort
View
EUROSSC
2008
Springer
13 years 10 months ago
Synthesizing Context for a Sports Domain on a Mobile Device
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...
Alisa Devlic, Michal Koziuk, Wybe Horsman
CIDU
2010
13 years 6 months ago
Adaptive Model Refinement for the Ionosphere and Thermosphere
Mathematical models of physical phenomena are of critical importance in virtually all applications of science and technology. This paper addresses the problem of how to use data to...
Anthony M. D'Amato, Aaron J. Ridley, Dennis S. Ber...
ATVA
2007
Springer
115views Hardware» more  ATVA 2007»
14 years 2 months ago
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
RTAS
2007
IEEE
14 years 2 months ago
An Approach for Real-Time Database Modeling and Performance Management
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
Jisu Oh, Kyoung-Don Kang
TOG
2008
106views more  TOG 2008»
13 years 8 months ago
Real-time control of physically based simulations using gentle forces
Recent advances have brought real-time physically based simulation within reach, but simulations are still difficult to control in real time. We present interactive simulations of...
Jernej Barbic, Jovan Popovic