Sciweavers

4993 search results - page 860 / 999
» A System Approach to Energy Management
Sort
View
IFIP13
2004
15 years 7 months ago
Toward A Human-Centered UML For Risk Analysis
: Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of t...
Jérémie Guiochet, Gilles Motet, Clau...
CCGRID
2010
IEEE
15 years 7 months ago
Streamflow Programming Model for Data Streaming in Scientific Workflows
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
Chathura Herath, Beth Plale
ICALT
2010
IEEE
15 years 7 months ago
Towards the Generalization of Game-Based Learning: Integrating Educational Video Games in LAMS
In e-Learning the interest on the use of new kinds of highly-interactive content is increasing. In this regard video games are one of the media that is gaining momentum because of ...
Ángel del Blanco, Javier Torrente, Pablo Mo...
ENTCS
2008
85views more  ENTCS 2008»
15 years 6 months ago
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
Salvador Lucas, Rafael Navarro-Marset
CORR
2007
Springer
110views Education» more  CORR 2007»
15 years 6 months ago
AMIE: An annotation model for information research
The objective of most users for consulting any information database, information warehouse or the internet is to resolve one problem or the other. Available online or offline anno...
Charles A. Robert, David Amos