Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
2 |
Material Type: Artigo
|
![]() |
Improving Science That Uses CodeThimbleby, HaroldComputer journal, 2024-04 [Periódico revisado por pares]Texto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Context-Adaptive Coordination of Pervasive Services by Interpreting Models during RuntimeSerral, E. ; Valderas, P. ; Pelechano, V.Computer journal, 2013-01, Vol.56 (1), p.87-114 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
4 |
Material Type: Artigo
|
![]() |
A Discussion of Communication Schemes for Process Execution Histories to Enforce Entailment Constraints in Process-Driven SOAsQuirchmayr, Thomas ; Strembeck, MarkComputer journal, 2015-10, Vol.58 (10), p.2255-2279 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
5 |
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 |
6 |
Material Type: Artigo
|
![]() |
Study on the Limitations of WS-BPEL Compositions Under Load ConditionsMaalej, A. J. ; Krichen, M.Computer journal, 2015-03, Vol.58 (3), p.385-402 [Periódico revisado por pares]Oxford: Oxford Publishing Limited (England)Texto completo disponível |
7 |
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 |
8 |
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 |
9 |
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 |
10 |
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 |