Search Sciweavers | Sciweavers

907 search results - page 56 / 182

» Monitoring of Real-Time Properties

click to vote

CCGRID
2005
IEEE

119views Distributed And Parallel Com...» more CCGRID 2005»

Cluster security with NVisionCC: process monitoring by leveraging emergent properties

14 years 1 months ago

Download www.cs.pitt.edu

We have observed that supercomputing clusters made up of commodity off-the-shelf computers possess emergent properties that are apparent when these systems are considered as an in...

Gregory A. Koenig, Xin Meng, Adam J. Lee, Michael ...

claim paper

Read More »

click to vote

RV
2010
Springer

119views Hardware» more RV 2010»

LarvaStat: Monitoring of Statistical Properties

13 years 6 months ago

Download www.cs.um.edu.mt

Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime veriﬁcation techniques. Statistics gathering an...

Christian Colombo, Andrew Gauci, Gordon J. Pace

claim paper

Read More »

click to vote

SEKE
2005
Springer

153views Software Engineering» more SEKE 2005»

Generating Properties for Runtime Monitoring from Software Specification Patterns

14 years 1 months ago

Download www.cs.utep.edu

The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...

Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, O...

claim paper

Read More »

click to vote

SAC
2009
ACM

99views Applied Computing» more SAC 2009»

Enforcement monitoring wrt. the safety-progress classification of properties

14 years 2 months ago

Download www-verimag.imag.fr

Yliès Falcone, Jean-Claude Fernandez, Laure...

claim paper

Read More »