Sciweavers

2163 search results - page 127 / 433
» cases 2004
Sort
View
ICCS
2004
Springer
15 years 10 months ago
A Fast Multifrontal Solver for Non-linear Multi-physics Problems
The paper presents a highly optimized implementation of a multifrontal solver for linear systems arising in the FEM simulation of multi-physics problems related to the behaviour of...
Alberto Bertoldo, Mauro Bianco, Geppino Pucci
ICWE
2004
Springer
15 years 10 months ago
Description Logics Reasoning in Web-based Education Environments
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...
Nenad Krdzavac, Dragan Gasevic, Vladan Devedzic
ICWL
2004
Springer
15 years 10 months ago
Automatically Generating an e-Textbook on the Web
Nowadays, people tend to learn from the Web because it is convenient, and rich of free information. The main means of learning on the Web is by submitting a query to a search engi...
Jing Chen, Qing Li, Liping Wang, Weijia Jia
IFIP
2004
Springer
15 years 10 months ago
Dependability and its threats - A taxonomy
: This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, confidentiality...
Algirdas Avizienis, Jean-Claude Laprie, Brian Rand...
IFIP
2004
Springer
15 years 10 months ago
The Problematic of Distributed Systems Supervision - An Example: Genesys
: This chapter presents the problematic of the distributed systems supervision through a comprehensive state-of-the-art. Issues are illustrated with a case study about an innovativ...
Jean-Eric Bohdanowicz, Stefan Wesner, Lászl...