-
Extension on Transactional Remote Services in SOFL
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
An Application of SOFL for Rapid Prototyping
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Fractional Permissions
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Alias Control for Deterministic Parallelism
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
A Formal Specification-Based Integration Testing Approach
British Library Conference Proceedings | 2013|Schlagwörter: Object-oriented programming (Computer science) -
Incremental Dynamic Updates with First-Class Contexts
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Non-interference on UML State-Charts
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team Proximity
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Assisted Behavior Driven Development Using Natural Language Processing
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Representing Uniqueness Constraints in Object-Relational Mapping
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Elucidative Development for Model-Based Documentation
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
MassiveThreads: A Thread Library for High Productivity Languages
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Controlling Concurrency and Expressing Synchronization in Charm++ Programs
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
My Early Education and Concurrent Objects
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Towards a Substrate Framework of Computation
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Reflection in an Object-Oriented Concurrent Language
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Detection of Seed Methods for Quantification of Feature Confinement
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Measuring Test Case Similarity to Support Test Suite Understanding
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Integrating Efficient Model Queries in State-of-the-Art EMF Tools
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Multiparty Session C: Safe Parallel Programming with Message Optimisation
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
An Object-Oriented Application Framework for the Development of Real-Time Systems
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Learning to Classify Bug Reports into Components
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Enhancing OSGi with Explicit, Vendor Independent Extra-Functional Properties
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
TimeSquare: Treat Your Models with Logical Time
British Library Conference Proceedings | 2012|Schlagwörter: Object-oriented programming (Computer science) -
Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
From Linear Types to Behavioural Types and Model Checking
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
What do I think about Conway's Law now?
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
Patterns for Leading Effective and Efficient Meetings
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
On Efficient Load Balancing for Irregular Applications
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Past and Future Directions for Concurrent Task Scheduling
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
The Parallel Pipes and Filters Pattern
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
CEDAR: Counter-Example Driven Abstraction Refinement: A Pattern for Formal Verification of Large Systems
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
Software Architectures for Web Content Management - Best Practices for Enterprises and E-Government
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
The Role Aspect Pattern
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
Patterns of Human Interaction in Software Maintainability
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
Patterns for Virtual Places
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
More Patterns for Web Applications
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
Building Safe Concurrency Abstractions
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Verifiable Object-Oriented Transactions
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Structuring Communication with Session Types
British Library Conference Proceedings | 2014|Schlagwörter: Object-oriented programming (Computer science) -
Execution Chain
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
The Interaction Aspect Pattern
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science) -
Cooperating Aspects
British Library Conference Proceedings | 2006|Schlagwörter: Object-oriented programming (Computer science)
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.