Sciweavers

1824 search results - page 131 / 365
» Practices and Techniques for Engineering Process Capability ...
Sort
View
CAISE
2003
Springer
15 years 9 months ago
Aspect-Oriented Extension for Capturing Requirements in Use-Case Model
Early Aspects is a concept that applies an aspect-oriented (AO) paradigm to the requirements engineering. Aspect-Oriented Requirements Engineering (AORE) can be considered as an im...
Chanwit Kaewkasi, Wanchai Rivepiboon
CISS
2007
IEEE
15 years 10 months ago
On Capacity of Automatic Target Recognition Systems Under the Constraint of PCA-Encoding
Limiting capabilities of practical recognition systems are determined by a variety of factors that include source encoding techniques, quality of images, complexity of underlying ...
Xiaohan Chen, Natalia A. Schmid
CISIS
2010
IEEE
15 years 9 months ago
iweightings: Enhancing Structure-based Ontology Alignment by Enriching Models with Importance Weighting
—Structural ontology matching methods analyze mainly two factors: entity labels and relationships among entities. We propose to additionally consider an importance and relevance ...
Alexandra Mazak, Bernhard Schandl, Monika Lanzenbe...
ICAC
2009
IEEE
15 years 11 months ago
Model-driven architectural monitoring and adaptation for autonomic systems
Architectural monitoring and adaptation allows self-management capabilities of autonomic systems to realize more powerful adaptation steps, which observe and adjust not only param...
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt,...
KBSE
2009
IEEE
15 years 11 months ago
Loopfrog: A Static Analyzer for ANSI-C Programs
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
Daniel Kroening, Natasha Sharygina, Stefano Tonett...