Sciweavers

2578 search results - page 92 / 516
» Performance modeling for early analysis of multi-core system...
Sort
View
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
14 years 3 months ago
Monitoring of a Class of Timed Discrete Events Systems
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
Adib Allahham, Hassane Alla
RE
2010
Springer
13 years 4 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
JSW
2007
94views more  JSW 2007»
13 years 9 months ago
Scoop Methodology: Modeling, Simulation And Analysis For Cooperative Systems
Abstract— In this paper, we present our methodology proposal for cooperative remote systems modeling. Its aim is to develop models of existing or planned cooperative systems. The...
David Saint-Voirin, Christophe Lang, Hervé ...
MIE
2008
141views Healthcare» more  MIE 2008»
13 years 10 months ago
Decision Support System Supporting Clinical Reasoning Process - an Evaluation Study in Dementia Care
In this paper, a case study is presented in which an early prototype of a decision-support system was integrated in the process of investigating patients with suspected dementia an...
Helena Lindgren
PADS
2006
ACM
14 years 3 months ago
Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...
Michael Lees, Brian Logan, Dan Chen, Ton Oguara, G...