Sciweavers

1860 search results - page 291 / 372
» An Internet Based Development Framework for Reconfigurable C...
Sort
View
117
Voted
ACSD
1998
IEEE
121views Hardware» more  ACSD 1998»
15 years 7 months ago
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
Alex Kondratyev, Jordi Cortadella, Michael Kishine...
136
Voted
SDM
2004
SIAM
242views Data Mining» more  SDM 2004»
15 years 4 months ago
Privacy-Preserving Multivariate Statistical Analysis: Linear Regression and Classification
Multivariate statistical analysis is an important data analysis technique that has found applications in various areas. In this paper, we study some multivariate statistical analy...
Wenliang Du, Yunghsiang S. Han, Shigang Chen
111
Voted
SERP
2003
15 years 4 months ago
Reliability Modeling Using UML
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
Chokchai Leangsuksun, Hertong Song, Lixin Shen
148
Voted
ECAI
2010
Springer
15 years 3 months ago
Foundations of Tree-like Local Model Updates
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
Yan Zhang, Michael Kelly, Yi Zhou
141
Voted
AINA
2007
IEEE
15 years 2 months ago
On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System
The e-health domain has for objective to assist and manage citizens health. It concerns many actors like patient, doctors, hospitals and administration. Current and forthcoming ge...
Florencia Balbastro, Alfredo Capozucca, Nicolas Gu...