Understanding Service-Orientation – Part II: The Principles by Raj Balasubramanian, Enterprise IT Architect for IBM Software Group, Benjamin Carlyle, Architect in the Rail industry, Cesare Pautasso Assistant professor

Source URL: www.servicetechmag.com

• Architectural pattern
• Enterprise application integration
• Service-oriented architecture
• Service reusability principle
• Service loose coupling principle
• Service autonomy principle
• Service composability principle
• Standardized service contract
• Service abstraction
• Service-orientation
• Discoverability
• Service statelessness principle

Open Sessions: Thursday 7th July Graduate Centre, ground floor today, different tomorrow. Maps for rooms on inside back cover. Session I 12:00–12:30 12:30–13:00

Source URL: www.thebsps.org

• Quantum mechanics
• Quantum measurement
• Interpretations of quantum mechanics
• Abstraction
• Theory
• De BroglieBohm theory
• Quantum field theory
• Quantum theory

Domain Specific - a Binary Decision ? Markus Voelter Bernhard Merkle independent/itemis

Source URL: voelter.de

• Programming paradigms
• Language workbench
• Domain-specific language
• JetBrains MPS
• Modeling language
• Xtext
• Domain-specific modeling
• Programming language
• Software development
• Scripting language
• Visual programming language
• Abstraction

Messaging Metadatapatterns* routing logging

Source URL: www.soaschool.com

• Enterprise application integration
• Service-oriented architecture
• Standardized service contract
• Service loose coupling principle
• Discoverability
• Enterprise service bus
• Architectural pattern
• Event-Driven Messaging
• Service abstraction
• Loose coupling
• Logic centralization pattern
• Service-orientation design principles

Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA

Source URL: web.cs.wpi.edu

• Formal methods
• Logic in computer science
• Theoretical computer science
• Hardware verification languages
• Aspect-oriented software development
• Formal verification
• Model checking
• Abstraction
• E
• Communications protocol
• Modularity
• Construction and Analysis of Distributed Processes

Making Paths Explicit in the Scout Operating System David Mosberger and Larry L. Peterson TRAbstract This paper makes a case for paths as an explicit abstraction in operating system design. Paths provide a

Source URL: www.cs.fsu.edu

• Routing protocols
• Computer networking
• Internet protocols
• Internet Standards
• Networking hardware
• Router
• Routing
• Traffic flow
• Border Gateway Protocol
• Communications protocol
• Internet Protocol
• Forwarding plane

Microsoft Word - Analogy_SEQL_v10_kf.doc

Source URL: www.silccenter.org

• Semantics
• Abstraction
• Ontology
• Cognitive science
• Thought
• Analogy
• Qualitative Reasoning Group
• Structure mapping engine
• Object Process Methodology
• Machine learning
• Abstract and concrete
• Spatial relation

Knowledge Graph Identification Jay Pujara1 , Hui Miao1 , Lise Getoor1 , and William Cohen2 1 Dept of Computer Science, University of Maryland, College Park, MD 20742 {jay,hui,getoor}@cs.umd.edu

Source URL: psl.umiacs.umd.edu

• Knowledge representation
• Semantic Web
• Ontology
• Resource Description Framework
• Abstraction
• Probabilistic soft logic
• Data model
• Category of being
• Inference
• Logic form
• Graph
• Web Ontology Language

Concepts and Categories Informatics 1 CG: Lecture 11 Mirella Lapata Reading: Trevor HarleyThe Psychology of Language,

Source URL: www.inf.ed.ac.uk

• Semantics
• Cognitive science
• Ontology
• Abstraction
• Philosophy of language
• Exemplar theory
• Prototype theory
• Categorization
• Category of being
• Informatics
• Theory
• Concept

Yann Geslin et Noémie Sprenger-Ohana « Abstraction et symbolisation dans la représentation des musiques électroacoustiques : un exemple de transcription à niveaux multiples de L’oiseau moqueur réalisé à l’aid

Source URL: www.ems-network.org