2011 IEEE Conference on Open Systems (ICOS2011), September 25-28, 2011, Langkawi, Malaysia Towards a Mobile Security & Privacy Simulator Benjamin Henne, Christian Szongott, Matthew Smith Distributed Computing & Security

Source URL: www.dcsec.uni-hannover.de

Research Lectures Economic Geography in 11 November | 4-6 pm

Source URL: www.geog.uni-heidelberg.de

• Academia
• Economy
• Science and technology studies
• Innovation economics
• Philosophy of technology
• Sociotechnical system
• Systems psychology
• M-Pesa
• Innovation

Institute of Architecture of Application Systems     Kostümsprache als Mustersprache:

Source URL: www.iaas.uni-stuttgart.de

Modular Embedding of the Object Constraint Language into a Programming Language Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department, Database Systems Group {green,gogolla}@tzi.de

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• Programming paradigms
• Object Constraint Language
• ECO
• Executable UML
• Imperative programming
• Statement
• Assignment
• Eclipse
• Modeling language

Semantic Grounding of Tag Relatedness in Social Bookmarking Systems Ciro Cattuto1 , Dominik Benz2 , Andreas Hotho2 , and Gerd Stumme2 1 Complex Networks Lagrange Laboratory, Institute for Scientific Interchange (ISI) Fo

Source URL: www.kde.cs.uni-kassel.de

• Information science
• Information retrieval
• Computing
• Knowledge representation
• Computational linguistics
• Semantic Web
• Collective intelligence
• Semantic similarity
• Folksonomy
• WordNet
• Social bookmarking
• Tag

PROBABILITY AND MATHEMATICAL STATISTICS Vol. 35, Fasc), pp. 143–159 CAPTIVITY OF MEAN-FIELD PARTICLE SYSTEMS

Source URL: www.math.uni.wroc.pl

Automata-Based Analysis of Recursive Concurrent Programs Markus Müller-Olm Westfälische Wilhelms-Universität Münster, Germany 2nd Tutorial of SPP RS3: Reliably Secure Software Systems

Source URL: cs.uni-muenster.de

UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Scientific modeling
• ECO
• Model-driven architecture
• Metamodeling
• Entityrelationship model
• Invariant
• Model transformation
• Class diagram
• Object Constraint Language
• Executable UML

ORGANIZATION ICAC 2016 Call for Papers General Chairs •S

Source URL: icac2016.uni-wuerzburg.de

• Computing
• Artificial intelligence
• Autonomic computing
• Distributed computing architecture
• Organic computing
• Self-organization
• Cyber-physical system
• Internet of things
• Cloud computing
• System
• Context-aware pervasive systems
• Autonomic networking

Towards Mining Semantic Maturity in Social Bookmarking Systems Martin Atzmueller1 , Dominik Benz1 , Andreas Hotho2 , and Gerd Stumme1 1 2

Source URL: www.kde.cs.uni-kassel.de