Sciweavers

2210 search results - page 333 / 442
» Applying a Model-based Approach for Embedded System Developm...
Sort
View
138
Voted
VAMOS
2008
Springer
15 years 3 months ago
Value-Based Elicitation of Product Line Variability: An Experience Report
Understanding and modeling the variability of an existing system is a highly critical and challenging task when adopting a product line approach. Only little guidance is available...
Rick Rabiser, Deepak Dhungana, Paul Grünbache...
125
Voted
ENTCS
2008
110views more  ENTCS 2008»
15 years 2 months ago
Game-Based Probabilistic Predicate Abstraction in PRISM
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norm...
122
Voted
WCRE
2010
IEEE
15 years 23 days ago
Mining Source Code for Structural Regularities
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
Angela Lozano, Andy Kellens, Kim Mens, Gabriela Ar...
88
Voted
HCI
2009
15 years 6 days ago
Considerations for Designing Response Quantification Procedures in Non-traditional Psychophysiological Applications
Abstract. Psychophysiological assessment in the context of virtual environments is a promising means for benchmarking the efficacy and ecological validity of virtual reality scenar...
A. V. Iyer, L. D. Cosand, Christopher G. Courtney,...
BMCBI
2007
104views more  BMCBI 2007»
15 years 2 months ago
Using contextual and lexical features to restructure and validate the classification of biomedical concepts
Background: Biomedical ontologies are critical for integration of data from diverse sources and for use by knowledge-based biomedical applications, especially natural language pro...
Jung-Wei Fan, Hua Xu, Carol Friedman