1308 search results - page 200 / 262 » Application of Hazard Analysis to Software Quality Modelling |
151
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
The latest computer and communication technologies in combination with an enhanced ECG analysis system can be used to improve cardiac patient's follow-up out-of-hospital. In ...
128
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The diffusion of innovations has long been a research domain in IS research. Yet, there is no sound theory nor practice to fully understand the complex mechanisms behind networks ...
228
click to vote
INFOCOM
2011
IEEE
14 years 8 months ago
2011
IEEE
—Due to the rapid growth of real-time applications and the ubiquity of IEEE 802.11 MAC as a layer-2 protocol for wireless local area networks (WLANs), it is of increasing interes...
147
click to vote
SDM
2007
SIAM
15 years 5 months ago
2007
SIAM
In many applications, we monitor data obtained from multiple streaming sources for collective decision making. The task presents several challenges. First, data in sensor networks...
146
Voted
ASE
2005
15 years 4 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...