Sciweavers

743 search results - page 17 / 149
» Evaluating UMl Extensions for Modeling Real-Time Systems
Sort
View
EDBT
2012
ACM
299views Database» more  EDBT 2012»
12 years 12 months ago
RecStore: an extensible and adaptive framework for online recommender queries inside the database engine
Most recommendation methods (e.g., collaborative filtering) consist of (1) a computationally intense offline phase that computes a recommender model based on users’ opinions o...
Justin J. Levandoski, Mohamed Sarwat, Mohamed F. M...
75
Voted
CHARME
2001
Springer
136views Hardware» more  CHARME 2001»
15 years 1 months ago
Deriving Real-Time Programs from Duration Calculus Specifications
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
François Siewe, Dang Van Hung
ICVS
2009
Springer
15 years 4 months ago
Real-Time Traversable Surface Detection by Colour Space Fusion and Temporal Analysis
Abstract. We present a real-time approach for traversable surface detection using a low-cost monocular camera mounted on an autonomous vehicle. The proposed methodology extracts co...
Ioannis Katramados, Steve Crumpler, Toby P. Brecko...
RTAS
2011
IEEE
14 years 1 months ago
Deterministic and Stochastic QoS Provision for Real-Time Control Systems
—In this paper, we propose two adaptive scheduling approaches to support real-time control applications with highly varying computation times. The use of a resource reservation s...
Daniele Fontanelli, Luigi Palopoli, Luca Greco
DSRT
2005
IEEE
15 years 3 months ago
Modeling Real-Time Distributed Simulation Message Flow in an Open Network
Understanding the characteristics of information flow in large scale real-time distributed virtual simulations (RT-DVS) is important for the development of network services that a...
Dennis M. Moen, J. Mark Pullen