Sciweavers

4636 search results - page 250 / 928
» Modelling and Validation with VipTool
Sort
View
SIGGRAPH
1992
ACM
14 years 8 days ago
Measuring and modeling anisotropic reflection
A new device for measuringthe spatial reflectancedistributionsof surfaces is introduced, along with a new mathematical model of sniaorropic reflectance. The reflectance model pres...
Gregory J. Ward
ECMDAFA
2010
Springer
141views Hardware» more  ECMDAFA 2010»
14 years 7 days ago
Comparing Approaches to Implement Feature Model Composition
Abstract. The use of Feature Models (FMs) to define the valid combinations of features in Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs, ...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
DAC
2010
ACM
14 years 4 days ago
Coverage in interpolation-based model checking
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
Hana Chockler, Daniel Kroening, Mitra Purandare
ISN
2000
Springer
127views Communications» more  ISN 2000»
13 years 11 months ago
Supporting Advanced Multimedia Telecommunications Services Using the Distributed Component Object Model
The demand for a great variety of sophisticated telecommunications services with multimedia characteristics is increasing. This trend highlights the need for the efficient creation...
Dionisis X. Adamopoulos, George Pavlou, Constantin...
VLDB
1991
ACM
145views Database» more  VLDB 1991»
13 years 11 months ago
A Taxonomy and Performance Model of Data Skew Effects in Parallel Joins
Recent work on parallel joins and data skew has concentrated on algorithm design without considering the causes and chara.cteristics of data. skew itself. Existming ana.lyt,ic mod...
Christopher B. Walton, Alfred G. Dale, Roy M. Jene...