Sciweavers

3974 search results - page 301 / 795
» Metric Functional Dependencies
Sort
View
216
Voted
COMPSAC
2006
IEEE
15 years 11 months ago
Engineering Reconfigurable Product Families - Architecting the Variability Infrastructure of a Product Family On-Chip
The software product family paradigm is becoming increasingly relevant in embedded system development. Embedded system development with a software-intensive character is typically...
Michel Jaring
189
Voted
EPEW
2006
Springer
15 years 11 months ago
Explicit Inverse Characterizations of Acyclic MAPs of Second Order
This paper shows how to construct a Markovian arrival process of second order from information on the marginal distribution and on its autocorrelation function. More precisely, clo...
Armin Heindl, Gábor Horváth, Karsten...
FSTTCS
2006
Springer
15 years 11 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
197
Voted
BIS
2007
92views Business» more  BIS 2007»
15 years 9 months ago
Supporting Use-Case Reviews
Abstract. Use cases are a popular way of specifying functional requirements of computer-based systems. Each use case contains a sequence of steps which are described with a natural...
Alicja Ciemniewska, Jakub Jurkiewicz, Lukasz Olek,...
212
Voted
GRAPP
2007
15 years 8 months ago
Fitting 3D morphable models using implicit representations
We consider the problem of approximating the 3D scan of a real object through an affine combination of examples. Common approaches depend either on the explicit estimation of poi...
Curzio Basso, Alessandro Verri