Sciweavers

1033 search results - page 56 / 207
» The Relative History Heuristic
Sort
View
FORMATS
2005
Springer
15 years 5 months ago
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
Thomas Chatain, Claude Jard
WCRE
2003
IEEE
15 years 5 months ago
Predicting Maintainability with Object-Oriented Metrics - An Empirical Comparison
A large number of metrics have been proposed for measuring properties of object-oriented software such as size, inheritance, cohesion and coupling. We have been investigating whic...
Melis Dagpinar, Jens H. Jahnke
CAISE
2003
Springer
15 years 5 months ago
Path-Stamps: A Proposal for Enhancing Security of Location Tracking Applications
Location tracking technologies are penetrating increasingly in industrial environments. Several challenges arise when people or mobile assets are tracked. Security is one of the ma...
Ana Isabel González-Tablas Ferreres, Benjam...
CIVR
2008
Springer
181views Image Analysis» more  CIVR 2008»
15 years 1 months ago
Supporting video library exploratory search: when storyboards are not enough
Storyboards, a grid layout of thumbnail images as surrogates representing video, have received much attention in video retrieval interfaces and published studies through the years...
Michael G. Christel
FORTE
2004
15 years 1 months ago
Symbolic Diagnosis of Partially Observable Concurrent Systems
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...
Thomas Chatain, Claude Jard