Sciweavers

10908 search results - page 325 / 2182
» Requirements Engineering Tasks
Sort
View
EMNLP
2009
15 years 1 months ago
Mining Search Engine Clickthrough Log for Matching N-gram Features
User clicks on a URL in response to a query are extremely useful predictors of the URL's relevance to that query. Exact match click features tend to suffer from severe data s...
Huihsin Tseng, Longbin Chen, Fan Li, Ziming Zhuang...
147
Voted
EVOW
2009
Springer
15 years 1 months ago
Evolutionary Approaches for Strain Optimization Using Dynamic Models under a Metabolic Engineering Perspective
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...
Pedro Evangelista, Isabel Rocha, Eugénio C....
114
Voted
EH
2003
IEEE
111views Hardware» more  EH 2003»
15 years 9 months ago
Developmental Processes in Silicon: An Engineering Perspective
In this article, we try to analyze the requirements of developmental processes from the perspective of their implementation in digital hardware. After recalling the motivations fo...
Gianluca Tempesti, Daniel Mange, Enrico Petraglio,...
155
Voted
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 1 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
153
Voted
AMAST
2000
Springer
15 years 8 months ago
The Algebra of Multi-tasking
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
Colin J. Fidge