824 search results - page 161 / 165 » Model-Based Monitoring of Dynamic Systems |
105
click to vote
EUROSYS
2010
ACM
15 years 7 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—Establishing a clear and timely picture of Internet topology is complicated by many factors including the vast size and dynamic nature of the infrastructure. In this paper, we d...
SIGCOMM
2009
ACM
15 years 4 months ago
2009
ACM
Active probe-based measurements are the foundation for understanding important network path properties such as SLA compliance and available bandwidth. Well-known challenges in act...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—A firewall is a security guard placed between a private network and the outside Internet that monitors all incoming and outgoing packets. The function of a firewall is to exam...
RAM
2008
IEEE
15 years 4 months ago
2008
IEEE
Mechatronics technologies are now steadily penetrating in our daily lives. We are surrounded by mechatronic products and interact with them in many ways. In particular, mechatroni...