Sciweavers

148 search results - page 9 / 30
» Reasoning about Repairability of Workflows at Design Time
Sort
View
CHI
2009
ACM
15 years 4 months ago
A design evaluation of a user interface for tending long-term tasks
Organizational processes often take place over long periods of time and require intermittent attention. Remembering and reasoning about upcoming process tasks is important, but no...
Robert Farrell, Hina Shah, Thomas Erickson, Wendy ...
BMCBI
2008
130views more  BMCBI 2008»
14 years 11 months ago
Function approximation approach to the inference of reduced NGnet models of genetic networks
Background: The inference of a genetic network is a problem in which mutual interactions among genes are deduced using time-series of gene expression patterns. While a number of m...
Shuhei Kimura, Katsuki Sonoda, Soichiro Yamane, Hi...
JTRES
2010
ACM
14 years 12 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
COSIT
2003
Springer
115views GIS» more  COSIT 2003»
15 years 5 months ago
Structuring a Wayfinder's Dynamic Space-Time Environment
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
Michael D. Hendricks, Max J. Egenhofer, Kathleen H...
IJCAI
1989
15 years 26 days ago
A Model for Projection and Action
In designing autonomous agents that deal competently with issues involving time and space, there is a tradeoff to be made between guaranteed response-time reactions on the one han...
Keiji Kanazawa, Thomas Dean