Sciweavers

9989 search results - page 180 / 1998
» A CLP Approach to Modelling Systems
Sort
View
161
Voted
ECBS
2010
IEEE
200views Hardware» more  ECBS 2010»
15 years 2 months ago
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
Sebastian Wieczorek, Alin Stefanescu
148
Voted
CDC
2010
IEEE
117views Control Systems» more  CDC 2010»
14 years 12 months ago
Delayed decision-making in bistable models
Switching between two modes of operation is a common property of biological systems. In continuous-time differential equation models, this is often realised by bistability, i.e. th...
Laura Trotta, Rodolphe Sepulchre, Eric Bullinger
159
Voted
SIAMSC
2011
126views more  SIAMSC 2011»
14 years 12 months ago
Fast Structured AMG Preconditioning for the Bidomain Model in Electrocardiology
The electrical activity of the heart may be modeled by a non-linear system of partial differential equations known as the bidomain model. Due to the rapid variations in the electr...
Micol Pennacchio, Valeria Simoncini
ISPA
2004
Springer
15 years 10 months ago
Highly Reliable Linux HPC Clusters: Self-Awareness Approach
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
Chokchai Leangsuksun, Tong Liu, Yudan Liu, Stephen...
EATIS
2007
ACM
15 years 8 months ago
Analysing and enhancing business processes and IT-systems for mobile workforce automation: a framework approach
Mobile B2E-applications (business-to-employee) can add significant value to a company's business, when large workforce divisions are involved in the execution of certain busi...
Volker Gruhn, André Köhler