6199 search results - page 306 / 1240 » Monitoring the |
153
Voted
ITC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...
164
click to vote
HUC
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we introduce a smart appliance for consumer healthcare called “Magic Medicine Cabinet.” It integrates such technologies like smart labels, face recognition, heal...
150
click to vote
IUI
1998
ACM
15 years 11 months ago
1998
ACM
Expectation-Driven Event Monitoring (EDEM) provides developers with a platform for creating software agents to collect usage data and increase user involvement in the development ...
147
click to vote
ISN
1995
Springer
15 years 10 months ago
1995
Springer
This paper presents a practical management system for performance monitoring and network performance verification to support the larger goals of performance management systems. We...
161
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
Recent advances in user access technology enables the delivery of Network multicast to residential users. In order for such a service to be successful, efficient management must b...