1090 search results - page 133 / 218 » A Replicated Monitoring Tool |
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
BPM
2009
Springer
14 years 3 months ago
2009
Springer
The management of development processes is a challenging task and needs adequate tool support. In the course of a development project, many different engineering and management pr...
ESEM
2009
ACM
14 years 3 months ago
2009
ACM
This paper reports results from a survey of experienced project managers on their perception of software risk management. From a sample of 18 experienced project managers, we have...
BIBE
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—The wavelet entropy (WE) of rest electroencephalogram (EEG) and of event-related potentials (ERP) carries information about the degree of order or disorder associated wi...
ICDM
2008
IEEE
14 years 3 months ago
2008
IEEE
In contrast with most internet topology measurement research, our concern here is not to obtain a map as complete and precise as possible of the whole internet. Instead, we claim ...