Sciweavers

5101 search results - page 172 / 1021
» Capturing Context Requirements
Sort
View
CBSE
2009
Springer
14 years 2 months ago
Integrating Functional and Architectural Views of Reactive Systems
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
Jewgenij Botaschanjan, Alexander Harhurin
IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
14 years 2 months ago
Probabilistic Timed Behavior Trees
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
Robert Colvin, Lars Grunske, Kirsten Winter
DRR
2009
13 years 6 months ago
Layout-free dewarping of planar document images
For user convenience, processing of document images captured by a digital camera has been attracted much attention. However, most existing processing methods require an upright im...
Masakazu Iwamura, Ryo Niwa, Akira Horimatsu, Koich...
SAMOS
2004
Springer
14 years 1 months ago
Constraints Derivation and Propagation for Large-Scale Embedded Systems Exploration
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
Laurentiu Nicolae, Ed F. Deprettere
WSCG
2001
66views more  WSCG 2001»
13 years 9 months ago
Supporting the Search for the Optimal Location of Facilities
the problem of locating services in a given context requires a methematical abstraction so that its complexity can be managed by means of an iterative search through context simul...
Alberto Biancardi, R. De Lotto, Elena Ferrari