Project news
The news on these pages comes directly from the projects' own news feeds. (See all our project news sources)
We were at the Internet of Services: FP7 Projects Collaboration meeting on 16-17 October 2012 in Brussels.
Slides from our working group are here:
Towards the Social Event-based Internet of Services [with slides]
Date Event:
Mon, 16/07/2012 (All day) - Fri, 20/07/2012 (All day)
Venue:
Berlin, Germany
ALERT: semantic event-driven collaborative platform for software development
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems Pages 385-386
Authors: Ljiljana Stojanovic, Sinan Sen, Jun Ma, Dominik Riemer
Link:
Material
Date Event:
Mon, 08/10/2012 (All day)
Venue:
Ljubljana, Slovenia
Search for information in software development projects using ALERT system
Data handling technologies are significantly progressing. The first phases mainly dealing with storing and efficiently accessing the data, resulted in the development of industry delivering tools for handling large databases, standardization of related processes, queering languages, etc. When the data storage was not a primary problem any more the need for improving the database organization resulted in the databases supporting not only transactions but also analytical views of the data.
Link:
Material
read more
Date Event:
Sun, 27/05/2012 (All day) - Thu, 31/05/2012 (All day)
Venue:
Heraklion, Crete, Greece
Enabling Semantic Search in Large Open Source Communities
The Extended Semantic Web Conference (ESWC) is a major venue for discussing the latest scientific results and technology innovations around semantic technologies. Building on its past success, ESWC is seeking to broaden its focus to span other relevant research areas in which Web semantics plays an important role.
Link:
Material
read more
Cloud computing is changing the way how software is produced today. However, cloud vendors compete in ecosystems that include competitors, complementors, infrastructure providers, development platform providers, orchestrators and many more. Hence, intermediaries like electronic marketplaces for cloud-based services become inevitable, as they increase transparency and facilitate more efficient market transactions within the cloud ecosystem.
The 4CaaSt [...]
The webinos EU project is extending the deadline to submit cross-screen apps using the webinos platform. Applicants have now 2 more weeks to submit one or more cool apps! To start developing on webinos, start here: https://developer.webinos.org/ For information about the app challenge, go to: http://webinos.org/appchallenge The finalists will be invited to attend the webinos [...]
Gregoris Mentzas from PLAY is co-chairing the 1st International Workshop on Socially Intelligent Computing (SINCOM 2012), part of the OnTheMove OTM Federated Conferences and Workshops 2012 (OTM’12) held in Rome, Italy, 13 - 14 September 2012.
Call for papers
From the CfP:
The International Workshop on Socially Intelligent Computing (SINCOM) provides a forum on the study, design, development and evaluation of the emergent intelligence that human-computer systems demonstrate. Socially intelligent computational systems bring together people and computers, support the creation of radically new forms of collaboration, communication and intelligence and allow the generation of new, emergent behaviors. Socially Intelligent Computing research is closely related to two other areas of research: “social computing”, i.e. the design and use of information and communication technologies that consider social context; and to the field of “collective intelligence”, i.e. systems that facilitate the collective behavior of groups of individual actors – people, computational agents, and organizations – and exhibit intelligent characteristics such as perception, learning, judgment, or problem solving.
Three months have already passed since the last update to my overview of Web technologies for mobile applications, and thus I have just released the quaterly update to Standards for Web Applications on Mobile. The document has the latest information about the status of specifications, their expected evolution, the state of their accompanying test suites. [...]
W3C announces today a Shift into High Gear on the Web, a W3C Workshop on Web and Automotive, 14-15 November 2012, in Rome (Italy). People today enjoy applications and services from multiple networked devices: notebook and desktop computers, smart phones, tablets, and Internet TVs. With our increasingly mobile lifestyles, it’s time to include the connected [...]
Build you apps on the next generation of Web technology and win cool prizes! The webinos EU project is celebrating the launch of its developer portal by announcing the 1st webinos cross-screen app challenge. You are now invited to build cross-screen apps using the webinos platform. Go to http://webinos.org/appchallenge for more information and access to [...]
Advanced School on Service Oriented Computing: 1 July – 6 July, 2013, Hersonissos Crete Greece: http://www.summersoc.eu/
Source: S-Cube: European Network of Excellence in Software Services and Systems
Start Date: 2012-05-24 - 20:44
Start Date: 2012-05-24 - 20:44
3rd INT. WORKSHOP ON ADAPTIVE SERVICES FOR THE FUTURE INTERNET - Paper Deadline June 2, 2013 -- http://was4fi.lcc.uma.es
Source: S-Cube: European Network of Excellence in Software Services and Systems
Start Date: 2012-05-24 - 20:44
Start Date: 2012-05-24 - 20:44
Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei Frameworks for developing Event-B modelling extensions in EMF. None. (Unpublished)
Butler, Michael (2012) Mastering System Analysis and Design through Abstraction and Refinement. [Teaching Resource] (Submitted)
Butler, Michael (2012) Abstraction, Refinement and Decomposition for Systems Engineering. [Teaching Resource] (Unpublished)
Colley, John (2012) Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design. [Teaching Resource] (Unpublished)
Voisin, Laurent (2012) More Abstraction. In: AI meets Formal Software Development, 01-06.07.2012, Schloss Dagstuhl, Germany.
Edmunds, Andrew and Colley, John and Butler, Michael Building on the DEPLOY legacy: code generation and simulation. In: DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B .
Plagge, Daniel and Leuschel, Michael (2012) Validating B, Z and TLA+ using ProB and Kodkod. In: Proceedings FM'2012, August, 2012, Paris.
Hallerstede, Stefan and Jastram, Michael and Ladenberger, Lukas (2012) A Method and Tool for Tracing Requirements into Specifications. Working Paper. UNSPECIFIED. (Submitted)
Weigelt, Ingo Architectures for an Extensible Text Editor for Rodin. Technical Report. UNSPECIFIED.
Hansen, Dominik and Leuschel, Michael (2012) Translating TLA+ to B for Validation with ProB. In: Proceedings iFM'2012.