Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Improving Science That Uses CodeThimbleby, HaroldComputer journal, 2024-04, Vol.67 (4), p.1381-1404 [Periódico revisado por pares]Texto completo disponível |
|
2 |
Material Type: Artigo
|
SGAC: A Multi-Layered Access Control Model with Conflict Resolution StrategyHuynh, Nghi ; Frappier, Marc ; Pooda, Herman ; Mammar, Amel ; Laleau, Régine Mitchell, ChrisComputer journal, 2019-12, Vol.62 (12), p.1707-1733 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
|
3 |
Material Type: Artigo
|
Identifying Compiler Options to Minimize Energy Consumption for Embedded PlatformsPallister, James ; Hollis, Simon J ; Bennett, JeremyComputer journal, 2015-01, Vol.58 (1), p.95-109 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
|
4 |
Material Type: Artigo
|
ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic SystemsOliveira, Lucas Bueno Ruas ; Leroux, Elena ; Felizardo, Katia Romero ; Oquendo, Flavio ; Nakagawa, Elisa YumiComputer journal, 2017-09, Vol.60 (9), p.1363-1381 [Periódico revisado por pares]Oxford University Press (UK)Texto completo disponível |
|
5 |
Material Type: Artigo
|
A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting SystemToumi, Khalifa ; Aouadi, Mohamed ; Cavalli, Ana R ; Mallouli, Wissam ; Allepuz, Jordi Puiggal ; Montfort, Pol ValletbComputer journal, 2018-08, Vol.61 (8), p.1109-1122 [Periódico revisado por pares]Oxford University Press (UK)Texto completo disponível |
|
6 |
Material Type: Artigo
|
A Survey of Coverage-Based Testing ToolsYang, Qian ; Li, J. Jenny ; Weiss, David MComputer journal, 2009-08, Vol.52 (5), p.589-597 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
|
7 |
Material Type: Artigo
|
ASCENT: A Provably Terminating Decentralized Logging ServiceBonnaire, Xavier ; Cortés, Rudyar ; Kordon, Fabrice ; Marin, OlivierComputer journal, 2017-12, Vol.60 (12), p.1889-1911 [Periódico revisado por pares]Oxford University Press (UK)Texto completo disponível |
|
8 |
Material Type: Artigo
|
Quality Assured Model-Driven Requirements Engineering and Software DevelopmentLengyel, László ; Mészáros, Tamás ; Asztalos, Márk ; Boros, Péter ; Máté, Attila ; Madács, Gábor ; Hudák, Péter ; Kovács, Kristóf ; Tresch, András ; Charaf, HassanComputer journal, 2015-11, Vol.58 (11), p.3171-3186 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
|
9 |
Material Type: Artigo
|
An Integrated Security and Systems Engineering Process and Modelling FrameworkRuiz, Jose Fran ; Maña, Antonio ; Rudolph, CarstenComputer journal, 2015-10, Vol.58 (10), p.2328-2350 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
|
10 |
Material Type: Artigo
|
Resiliency in Distributed Sensor Networks for Prognostics and Health Management of the Monitoring TargetsBahi, J ; Elghazel, W ; Guyeux, C ; Haddad, M ; Hakem, M ; Medjaher, K ; Zerhouni, NComputer journal, 2016-02, Vol.59 (2), p.275-284 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |