Sciweavers

2223 search results - page 75 / 445
» Events in Property Patterns
Sort
View
DATE
2008
IEEE
129views Hardware» more  DATE 2008»
15 years 4 months ago
Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...
Joost-Pieter Katoen
ACISICIS
2009
IEEE
15 years 1 months ago
Temporal Pattern Recognition in Video Clips Detection
Temporal representation and reasoning plays an important role in Data Mining and Knowledge Discovery, particularly, in mining and recognizing patterns with rich temporal informati...
Aihua Zheng, Jixin Ma, Bin Luo, Miltos Petridis, S...
COOTS
1996
14 years 11 months ago
The Object Group Design Pattern
This paper describes \Object Group", an object behavioral pattern for group communication and fault-tolerance in distributed systems. The Object Group pattern supports the im...
Silvano Maffeis
SIGSOFT
2006
ACM
15 years 10 months ago
User guidance for creating precise and accessible property specifications
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
Rachel L. Cobleigh, George S. Avrunin, Lori A. Cla...
SCIA
2007
Springer
182views Image Analysis» more  SCIA 2007»
15 years 3 months ago
The Statistical Properties of Local Log-Contrast in Natural Images
Abstract. The study of natural image statistics considers the statistical properties of large collections of images from natural scenes, and has applications in image processing, c...
Jussi T. Lindgren, Jarmo Hurri, Aapo Hyvärine...