Sciweavers

2811 search results - page 331 / 563
» Real-Time Component-Based Systems
Sort
View
ICAI
2004
15 years 2 months ago
Inductive System Health Monitoring
- The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficu...
David L. Iverson
TJS
2010
72views more  TJS 2010»
14 years 11 months ago
u-BabSang: a context-aware food recommendation system
In this paper, we propose a context-aware food recommendation system for well-being care applications. The proposed system, called u-BabSang, provides individualized food recommend...
Yoosoo Oh, Ahyoung Choi, Woontack Woo
83
Voted
QSIC
2005
IEEE
15 years 6 months ago
A System to Mark Programs Automatically
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
Ken Ngo-Pham, John Bigham, Julian Rodaway, Lauriss...
IFM
2005
Springer
15 years 6 months ago
Generating Path Conditions for Timed Systems
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros...
125
Voted
WSC
2008
15 years 3 months ago
An application of parallel Monte Carlo modeling for real-time disease surveillance
The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, processing,...
David W. Bauer, Mojdeh Mohtashemi