Sciweavers

907 search results - page 134 / 182
» Monitoring of Real-Time Properties
Sort
View
CCE
2004
13 years 8 months ago
An online application of dynamic PLS to a dearomatization process
Early detection of process disturbances and prediction of malfunctions in process equipment improve the safety of the process, minimize the time and resources needed for maintenan...
Tiina Komulainen, Mauri Sourander, Sirkka-Liisa J&...
CACM
2000
158views more  CACM 2000»
13 years 8 months ago
Wireless Integrated Network Sensors
Wireless Integrated Network Sensors (WINS) now provide a new monitoring and control capability for transportation, manufacturing, health care, environmental monitoring, and safety...
Gregory J. Pottie, William J. Kaiser
ACSAC
2010
IEEE
13 years 6 months ago
A framework for testing hardware-software security architectures
New security architectures are difficult to prototype and test at the design stage. Fine-grained monitoring of the interactions between hardware, the operating system, and applica...
Jeffrey S. Dwoskin, Mahadevan Gomathisankaran, Yu-...
GLVLSI
2009
IEEE
323views VLSI» more  GLVLSI 2009»
13 years 6 months ago
MYGEN: automata-based on-line test generator for assertion-based verification
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...
COMCOM
2011
13 years 3 months ago
Evaluation of a new method for measuring the internet degree distribution: Simulation results
Many contributions rely on the degree distribution of the Internet topology. However, current knowledge of this property is based on biased and erroneous measurements and is subje...
Christophe Crespelle, Fabien Tarissan