1860 search results - page 291 / 372 » An Internet Based Development Framework for Reconfigurable C... |
ACSD
1998
IEEE
14 years 1 months ago
1998
IEEE
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...
SDM
2004
SIAM
13 years 10 months ago
2004
SIAM
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...
SERP
2003
13 years 10 months ago
2003
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...
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
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...
AINA
2007
IEEE
13 years 9 months ago
2007
IEEE
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...