Sciweavers

357 search results - page 16 / 72
» A methodology for the selection of requirements engineering ...
Sort
View
FORTE
1996
13 years 8 months ago
Formal Description Techniques - How Formal and Descriptive are they?
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
Manfred Broy
ICIP
2005
IEEE
14 years 9 months ago
Image denoising in nonlinear scale-spaces: automatic scale selection via cross-validation
Multiscale, i.e. scale-space image analysis is a powerful framework for many image processing tasks. A fundamental issue with such scale-space techniques is the automatic selectio...
George Papandreou, Petros Maragos
SIGCSE
2006
ACM
147views Education» more  SIGCSE 2006»
14 years 1 months ago
Image understanding as a second course in AI: preparing students for research
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
Roxanne L. Canosa
ICSE
2007
IEEE-ACM
14 years 7 months ago
Modeling in Software Engineering
A data model is a plan for building a database and is comparable to an architect's building plans. There are two major methodologies used to create a data model: the EntityRe...
Joanne M. Atlee, Robert B. France, Geri Georg, Ana...
SACMAT
2003
ACM
14 years 24 days ago
An approach to engineer and enforce context constraints in an RBAC environment
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...
Gustaf Neumann, Mark Strembeck