Synote: Weaving Media Fragments and Linked Data Yunjia Li,Mike Wald,Tope Omitola,Nigel Shadbolt and Gary Wills School of Electronics and Computer Science University of Southampton UK

Source URL: events.linkeddata.org

Synote: Weaving Media Fragments and Linked Data Yunjia Li, Dr Mike Wald, Dr Tope Omitola, Prof Nigel Shadbolt and Dr Gary Wills {yl2,mw,tobo,nrs,gbw} @ecs.soton.ac.uk School of Electronics and Computer Science

Source URL: events.linkeddata.org

Privacy Implications of Location and Contextual Data on the Social Web Aristea M. Zafeiropoulou, David Millard, Craig Webber†, Kieron OʼHara † School of Electronics and Computer Science

Source URL: www.websci11.org

Simple Coalitional Games with Beliefs Georgios Chalkiadakis∗ and Edith Elkind∗,† and Nicholas R. Jennings∗ {gc2,ee,nrj}@ecs.soton.ac.uk ∗ School of Electronics and Computer Science, University of Southampton, U

Source URL: www.intelligence.tuc.gr

• Game theory
• Mathematics
• Structure
• Cooperative game theory
• Core
• Coalition
• Hedonic game
• Transferable utility
• Vector space
• Shapley value

The engineering of generic requirements for failure management Colin Snook1, Michael Poppleton1, and Ian Johnson2 1 School of Electronics and Computer Science,

Source URL: rodin.cs.ncl.ac.uk

• Software engineering
• Unified Modeling Language
• Technology
• Computing
• Diagram
• Object Process Methodology
• Modeling language
• Class diagram
• Abstract state machines
• Profile
• Domain analysis
• Specification

The engineering of generic requirements for failure management Colin Snook1, Michael Poppleton1, and Ian Johnson2 1 School of Electronics and Computer Science,

Source URL: rodin.cs.ncl.ac.uk

• Software engineering
• Unified Modeling Language
• Computing
• Modeling language
• Class diagram
• Object Process Methodology
• Abstract state machines
• Specification
• Profile
• Requirement
• Formal methods
• Executable UML

CURRENT TRANSMISSIONS Electrical and Computer Engineering | Missouri S&T | Spring 2016 HELLO, HORIZON page 8

Source URL: ece.mst.edu

• Engineering
• Institute of Electrical and Electronics Engineers
• Piscataway
• New Jersey
• Electrical engineering
• Electromagnetism
• Mohammad Shahidehpour
• Columbia School of Engineering and Applied Science

Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK

Source URL: rodin.cs.ncl.ac.uk

• Formal methods
• Theoretical computer science
• Project management
• Computer programming
• Refinement
• B-Method
• Feature model
• Model checking
• Object Process Methodology
• Software development process
• Algorithm
• Economic model

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Ant´ onio Morgado and Joao Marques-Silva School of Electronics and Computer Science, University of Southampton, UK ,jpms@e

Source URL: ceur-ws.org

• Operations research
• Mathematical optimization
• Constraint programming
• Logic in computer science
• NP-complete problems
• Topology
• Satisfiability modulo theories
• Dynamic programming
• Semidefinite programming

Efficient Sharing of Conflicting Opinions with Minimal Communication in Large Decentralised Teams Oleksandr Pryymak, Alex Rogers and Nicholas R. Jennings School of Electronics and Computer Science University of Southampt

Source URL: www.orchid.ac.uk