nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An algebra of temporal faults
|
Didier, André |
|
2016 |
18 |
5 |
p. 967-980 |
artikel |
2 |
An algebra of temporal faults
|
Didier, André |
|
|
18 |
5 |
p. 967-980 |
artikel |
3 |
Compliance management ontology – a shared conceptualization for research and practice in compliance management
|
Abdullah, Norris Syed |
|
2016 |
18 |
5 |
p. 995-1020 |
artikel |
4 |
Compliance management ontology – a shared conceptualization for research and practice in compliance management
|
Abdullah, Norris Syed |
|
|
18 |
5 |
p. 995-1020 |
artikel |
5 |
Drivers of mobile payment acceptance: The impact of network externalities
|
Qasim, Huda |
|
2015 |
18 |
5 |
p. 1021-1034 |
artikel |
6 |
Drivers of mobile payment acceptance: The impact of network externalities
|
Qasim, Ajao |
|
|
18 |
5 |
p. 1021-1034 |
artikel |
7 |
Formal modelling and analysis of Bitflips in ARM assembly code
|
Hansen, René Rydhof |
|
2016 |
18 |
5 |
p. 909-925 |
artikel |
8 |
Formal modelling and analysis of Bitflips in ARM assembly code
|
Hansen, René Rydhof |
|
|
18 |
5 |
p. 909-925 |
artikel |
9 |
Foundations of reusable and interoperable facet models using category theory
|
Harris, Daniel R. |
|
2016 |
18 |
5 |
p. 953-965 |
artikel |
10 |
Foundations of reusable and interoperable facet models using category theory
|
Harris, Daniel R. |
|
|
18 |
5 |
p. 953-965 |
artikel |
11 |
Investigation of feature run-time conflicts on goal model-based reuse
|
Duran, Mustafa Berk |
|
2016 |
18 |
5 |
p. 855-875 |
artikel |
12 |
Investigation of feature run-time conflicts on goal model-based reuse
|
Duran, Mustafa Berk |
|
|
18 |
5 |
p. 855-875 |
artikel |
13 |
On the empirical justification of theoretical heuristic transference and learning
|
Rubin, Stuart H. |
|
2016 |
18 |
5 |
p. 981-994 |
artikel |
14 |
On the empirical justification of theoretical heuristic transference and learning
|
Rubin, Stuart H. |
|
|
18 |
5 |
p. 981-994 |
artikel |
15 |
Ranking software components for reuse based on non-functional properties
|
Kessel, Marcus |
|
2016 |
18 |
5 |
p. 825-853 |
artikel |
16 |
Ranking software components for reuse based on non-functional properties
|
Kessel, Marcus |
|
|
18 |
5 |
p. 825-853 |
artikel |
17 |
Semantic weaving of configuration fragments into a consistent system configuration
|
Jahanbanifar, Azadeh |
|
2016 |
18 |
5 |
p. 891-908 |
artikel |
18 |
Semantic weaving of configuration fragments into a consistent system configuration
|
Jahanbanifar, Azadeh |
|
|
18 |
5 |
p. 891-908 |
artikel |
19 |
Towards common reusable semantics
|
Bouabana-Tebibel, Thouraya |
|
2016 |
18 |
5 |
p. 819-823 |
artikel |
20 |
Towards common reusable semantics
|
Bouabana-Tebibel, Thouraya |
|
|
18 |
5 |
p. 819-823 |
artikel |
21 |
Two CEGAR-based approaches for the safety verification of PLC-controlled plants
|
Nellen, Johanna |
|
2016 |
18 |
5 |
p. 927-952 |
artikel |
22 |
Two CEGAR-based approaches for the safety verification of PLC-controlled plants
|
Nellen, Johanna |
|
|
18 |
5 |
p. 927-952 |
artikel |
23 |
Weighted subspace modeling for semantic concept retrieval using gaussian mixture models
|
Chen, Chao |
|
2016 |
18 |
5 |
p. 877-889 |
artikel |
24 |
Weighted subspace modeling for semantic concept retrieval using gaussian mixture models
|
Chen, Chao |
|
|
18 |
5 |
p. 877-889 |
artikel |