Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Science, Mathematics, Computer Science, Software Engineering
Computer journal, 2012-01, Vol.55 (1), p.99-110
2012
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Improving Science That Uses Code
Computer journal, 2024-04, Vol.67 (4), p.1381-1404
2024
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
ArchSORS: A Software Process for Designing Software Architectures of Service-Oriented Robotic Systems
Computer journal, 2017-09, Vol.60 (9), p.1363-1381
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Quality Assured Model-Driven Requirements Engineering and Software Development
Computer journal, 2015-11, Vol.58 (11), p.3171-3186
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy
Computer journal, 2019-12, Vol.62 (12), p.1707-1733
2019
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Logical Basis for Component-Oriented Software and Systems Engineering
Computer journal, 2010-12, Vol.53 (10), p.1758-1782
2010
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Identifying Compiler Options to Minimize Energy Consumption for Embedded Platforms
Computer journal, 2015-01, Vol.58 (1), p.95-109
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Survey of Coverage-Based Testing Tools
Computer journal, 2009-08, Vol.52 (5), p.589-597
2009
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Framework for Testing and Monitoring Security Policies: Application to an Electronic Voting System
Computer journal, 2018-08, Vol.61 (8), p.1109-1122
2018
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
An Integrated Security and Systems Engineering Process and Modelling Framework
Computer journal, 2015-10, Vol.58 (10), p.2328-2350
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
ASCENT: A Provably Terminating Decentralized Logging Service
Computer journal, 2017-12, Vol.60 (12), p.1889-1911
2017
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Non-Functional Requirements Framework: A Mathematical Programming Approach
Computer journal, 2015-05, Vol.58 (5), p.1122-1139
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs
Computer journal, 2009-08, Vol.52 (5), p.545-556
2009
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Resiliency in Distributed Sensor Networks for Prognostics and Health Management of the Monitoring Targets
Computer journal, 2016-02, Vol.59 (2), p.275-284
2016
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Model Learning and Test Generation Using Cover Automata
Computer journal, 2015-05, Vol.58 (5), p.1140-1159
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Hardware Accelerator to Detect Multi-Segment Virus Patterns
Computer journal, 2015-10, Vol.58 (10), p.2443-2460
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B
Computer journal, 2015-11, Vol.58 (11), p.2804-2823
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Study on the Limitations of WS-BPEL Compositions Under Load Conditions
Computer journal, 2015-03, Vol.58 (3), p.385-402
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Context-Adaptive Coordination of Pervasive Services by Interpreting Models during Runtime
Computer journal, 2013-01, Vol.56 (1), p.87-114
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Enhancing an Embedded Processor Core for Efficient and Isolated Execution of Cryptographic Algorithms
Computer journal, 2015-10, Vol.58 (10), p.2368-2387
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Privacy as an Integral Part of the Implementation of Cloud Solutions
Computer journal, 2015-10, Vol.58 (10), p.2213-2224
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Towards the Design of Efficient Error Detection Mechanisms for Transient Data Errors
Computer journal, 2013-06, Vol.56 (6), p.674-692
2013
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Discussion of Communication Schemes for Process Execution Histories to Enforce Entailment Constraints in Process-Driven SOAs
Computer journal, 2015-10, Vol.58 (10), p.2255-2279
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Modernizing Secure OLAP Applications with a Model-Driven Approach
Computer journal, 2015-10, Vol.58 (10), p.2351-2367
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool
Computer journal, 2009-08, Vol.52 (5), p.571-588
2009
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 5.039
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieMathematical And Computer Modelling
SpracheJapanisch
PublikationsformWebseiten
Zeitschrift / SerieComputer Journal
ThemaComputer Science, Software Engineering
Suchergebnisse filtern
Filter anzeigen