Sciweavers

422 search results - page 27 / 85
» Incremental Detection of Model Inconsistencies Based on Mode...
Sort
View
ECMDAFA
2008
Springer
118views Hardware» more  ECMDAFA 2008»
14 years 10 months ago
A Metamodeling Approach for Reasoning about Requirements
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
Arda Goknil, Ivan Kurtev, Klaas van den Berg
ISSRE
2002
IEEE
15 years 2 months ago
Inter-Class Mutation Operators for Java
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
Yu-Seung Ma, Yong Rae Kwon, Jeff Offutt
SIGSOFT
2004
ACM
15 years 10 months ago
Merging partial behavioural models
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
Marsha Chechik, Sebastián Uchitel
89
Voted
ICPR
2010
IEEE
14 years 7 months ago
Real-Time Abnormal Event Detection in Complicated Scenes
In this paper, we proposed a novel real-time abnormal event detection framework that requires a short training period and has a fast processing speed. Our approach is based on phas...
Yinghuan Shi, Yang Gao, Ruili Wang
66
Voted
ENTCS
2002
114views more  ENTCS 2002»
14 years 9 months ago
Adjunction Models For Call-By-Push-Value With Stacks
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
Paul Blain Levy