| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A formal methodology for integral security design and verification of network protocols
|
Diaz, Jesus
|
|
2014
|
89 |
C |
p. 87-98
12 p.
|
artikel
|
| 2 |
A model view controller based Self-Adjusting Clustering Framework
|
Chandakanna, Veerabhadra Rao
|
|
2014
|
89 |
C |
p. 193-206
14 p.
|
artikel
|
| 3 |
An evaluation model for dependability of Internet-scale software on basis of Bayesian Networks and trustworthiness
|
Si, Guannan
|
|
2014
|
89 |
C |
p. 63-75
13 p.
|
artikel
|
| 4 |
A reliability model for Service Component Architectures
|
Mirandola, R.
|
|
2014
|
89 |
C |
p. 109-127
19 p.
|
artikel
|
| 5 |
Demand-based schedulability analysis for real-time multi-core scheduling
|
Lee, Jinkyu
|
|
2014
|
89 |
C |
p. 99-108
10 p.
|
artikel
|
| 6 |
Editorial Board
|
|
|
2014
|
89 |
C |
p. CO2-
1 p.
|
artikel
|
| 7 |
GUI testing assisted by human knowledge: Random vs. functional
|
Yang, Weiran
|
|
2014
|
89 |
C |
p. 76-86
11 p.
|
artikel
|
| 8 |
Process fragmentation, distribution and execution using an event-based interaction scheme
|
Hens, Pieter
|
|
2014
|
89 |
C |
p. 170-192
23 p.
|
artikel
|
| 9 |
Reviewing the quality of awareness support in collaborative applications
|
Antunes, Pedro
|
|
2014
|
89 |
C |
p. 146-169
24 p.
|
artikel
|
| 10 |
Slice-based statistical fault localization
|
Mao, Xiaoguang
|
|
2014
|
89 |
C |
p. 51-62
12 p.
|
artikel
|
| 11 |
Software trustworthiness 2.0—A semantic web enabled global source code analysis approach
|
Keivanloo, Iman
|
|
2014
|
89 |
C |
p. 33-50
18 p.
|
artikel
|
| 12 |
Special issue on “Trustworthy Software Systems for the Digital Society”
|
Bai, Xiaoying
|
|
2014
|
89 |
C |
p. 1-2
2 p.
|
artikel
|
| 13 |
Sustainability of Open Source software communities beyond a fork: How and why has the LibreOffice project evolved?
|
Gamalielsson, Jonas
|
|
2014
|
89 |
C |
p. 128-145
18 p.
|
artikel
|
| 14 |
The social smart grid: Dealing with constrained energy resources through social coordination
|
Skopik, Florian
|
|
2014
|
89 |
C |
p. 3-18
16 p.
|
artikel
|
| 15 |
Workload-aware anomaly detection for Web applications
|
Wang, Tao
|
|
2014
|
89 |
C |
p. 19-32
14 p.
|
artikel
|
Tijdschrift beschrijving