Sciweavers

6199 search results - page 240 / 1240
» Monitoring the
Sort
View
UML
2004
Springer
15 years 12 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
CCGRID
2003
IEEE
15 years 12 months ago
Specifying and Monitoring Guarantees in Commercial Grids through SLA
Akhil Sahai, Sven Graupner, Vijay Machiraju, Aad P...
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 12 months ago
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
IAW
2003
IEEE
15 years 12 months ago
Detecting Insider Threats by Monitoring System Call Activity
Nam T. Nguyen, Peter L. Reiher, Geoffrey H. Kuenni...
ICRA
2003
IEEE
87views Robotics» more  ICRA 2003»
15 years 12 months ago
Traffic monitoring based on real-time image tracking
Ching-Po Lin, Jen-Chao Tai, Kai-Tai Song