2223 search results - page 241 / 445 » Events in Property Patterns |
130
Voted
RV
2010
Springer
15 years 3 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
139
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
135
Voted
CEJCS
2011
14 years 4 months ago
2011
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
140
Voted
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
In this paper, a new method of feature extraction with rotation invariant property is presented. One of the main contributions of this study is that a rotation invariant signature...
175
click to vote
APSCC
2009
IEEE
15 years 11 months ago
2009
IEEE
SADI – Semantic Automated Discovery and Integration – is a set of standards-compliant Semantic Web Service design patterns that exploit the relatively straightforward interfac...