Sciweavers

2210 search results - page 321 / 442
» Applying a Model-based Approach for Embedded System Developm...
Sort
View
103
Voted
DAWAK
2009
Springer
15 years 11 months ago
Recommending Multidimensional Queries.
Interactive analysis of datacube, in which a user navigates a cube by launching a sequence of queries is often tedious since the user may have no idea of what the forthcoming query...
Arnaud Giacometti, Elsa Negre, Patrick Marcel
110
Voted
WOLLIC
2009
Springer
15 years 9 months ago
Algebraic Valuations as Behavioral Logical Matrices
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
Carlos Caleiro, Ricardo Gonçalves
QSIC
2007
IEEE
15 years 8 months ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
98
Voted
ECOOPW
2007
Springer
15 years 8 months ago
Model-Driven Software Adaptation
This first edition of the workshop Model-driven Software Adaptation (M-ADAPT’07) took place in the Technische Universit¨at Berlin with the International Conference ECOOP’07 i...
Nelly Bencomo, Gordon S. Blair, Robert B. France
MSR
2009
ACM
15 years 7 months ago
Automatic labeling of software components and their evolution using log-likelihood ratio of word frequencies in source code
As more and more open-source software components become available on the internet we need automatic ways to label and compare them. For example, a developer who searches for reusa...
Adrian Kuhn