|
|
(26 intermediate revisions not shown.) |
Line 1: |
Line 1: |
- | =Programme=
| + | {{ page.name: DSS 2010 - Programme - the 15th IFIP WG 8.3 International Conference on Decision Support Systems - Lisbon}} |
- | {| class="wikitable" | + | {{ page.desc: DSS 2010 - Programme - 15th IFIP WG 8.3 International Conference on Decision Support Systems}} |
- | | colspan=3|
| + | {{ page.head: DSS 2010 - Programme - the 15th IFIP WG 8.3 International Conference on Decision Support Systems - Lisbon}} |
- | ==Tuesday==
| + | |
- | |-
| + | ==Programme== |
- | | Invited Talk (9:00-10:00)
| + | Please download the FINAL programme [[Media:Dss2010-programme.pdf|here]] 29-06-2010, 18:48 (GMT+1) |
- | | colspan=2| Coordination: Hop, a Fast Server for the Diffuse Web (Manuel Serrano)
| + | |
- | |-
| + | '''Panels''' |
- | | Session 1 (
10:30
‐12:30
)
| + | |
- | | FMOODS: Analysis Techniques
| + | Business Intelligence Research: Status and Strategies [[Media:DSS2010-panel-BI.pdf|agenda]] |
- | * Recursive
Parametric
Automata
and
ε‐Removal
| + | |
- | * Approximated
Context‐sensitive
Analysis
for
Parameterized
Verification
| + | Healthcare IT and Decision Support [[Media:DSS2010-panel-healthcare.pdf|agenda]] |
- | * Verification
of
Parameterized
Systems
with
Combinations
of
Abstract
Domains
| + | |
- | * Distinguishing
Non‐deterministic
Timed
Finite
State
Machines
| + | |
- | | DAIS: Peer-to-Peer and Adhoc Networks
| + | |
- | * D-Praxis : A peer-to-peer collaborative model edition framework (Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais)
| + | Conference book |
- | * A Reflective Middleware to Support Peer-to-Peer Overlay Adaptation (Gareth Tyson, Paul Grace, Andreas Mauthe, Gordon Blair, Sebastian Kaune)
| + | |
- | * WiSeKit: A Distributed Middleware to Support Application-level Adaptation in Sensor Network (Amirhosein Taherkordi, Quan Le-Trung, Romain Rouvoy, Frank Eliassen)
| + | [[Image:book-cover.jpg|Book]] |
- | * Automated Assessment of Aggregate Query Imprecision in Dynamic Environments (Vasanth Rajamani, Christine Julien, Jamie Payton)
| + | |
- | |-
| + | Bridging the Socio-technical Gap in Decision Support Systems - Challenges for the Next Decade, A. Respício, F. Adam, G. Phillips-Wren, C. Teixeira and J. Telhada, |
- | | Session 2 (14:00-15:30)
| + | Frontiers in Artificial Intelligence and Applications, Volume 212, IOS Press, NL. |
- | | FMOODS:
Process
Algebra
and
Calculus
| + | Already available at IOS Press [http://www.iospress.nl/loadtop/load.php?isbn=pa_faia.php website <external link>] |
- | * Epistemic
Logic
for
the
Applied
Pi
Calculus
| + | |
- | * On
Process‐Algebraic
Proof
Methods
for
Fault
Tolerant
Distributed
Systems
| + | |
- | * A
Software
Platform
for
Timed
Mobility
and
Timed
Interaction
| + | |
- | | DAIS: Dependability
| + | |
- | * Fault-Tolerant Aggregation by Flow Updating (Paulo Jesus, Carlos Baquero, Paulo Sergio Almeida)
| + | |
- | * Foraging for better deployment of replicated service components (Mate J. Csorba, Hein Meling, Poul E. Heegaard, Peter Herrmann)
| + | |
- | * A Generic Group Communication Approach for Hybrid Distributed Systems (Raimundo Macedo, Allan Freitas)
| + | |
- | |-
| + | |
- | | Tutorial (16:00-17:30)
| + | |
- | | colspan=2|
| + | |
- | * Static Security Analysis of Service-Oriented Systems (Flemming Nielson)
| + | |
- | |-
| + | |
- | | colspan=3|
| + | |
- | ==Wednesday== | + | |
- | |-
| + | |
- | | Invited Talk (9:00-10:00)
| + | |
- | | colspan=2| (FMOODS)
| + | |
- | |- | + | |
- | | Joint Session (10:30-12:30)
| + | |
- | | colspan=2|
| + | |
- | * FMOODS: Typing
Component‐Based
Communication
| + | |
- | * DAIS: Exploiting Synergies Between Coexisting Overlays (Shen Lin, François Taiani, Gordon Blair)
| + | |
- | * Coordination: Automata for Context-dependent Connectors (Marcello Bonsangue, Dave Clarke, Alexandra Silva)
| + | |
- | |-
| + | |
- | | Tutorial (14:00-15:30)
| + | |
- | | colspan=2|
| + | |
- | * Types for Alias Control and Verification (Sophia Drossopoulou)
| + | |
- | |-
| + | |
- | | Tutorial (16:00-17:30)
| + | |
- | | colspan=2|
| + | |
- | * A Formal Approach to Service-Oriented Modelling (José Luiz Fiadeiro)
| + | |
- | |- | + | |
- | | colspan=3|
| + | |
- | ==Thursday==
| + | |
- | |-
| + | |
- | | Invited Talk (9:00-10:00)
| + | |
- | | colspan=2| (DAIS)
| + | |
- | |-
| + | |
- | | Session 3 (10:30-12:30) | + | |
- | | FMOODS: Objects, Components, Services
| + | |
- | * System
Model‐based
Definition
of
Modeling
Language
Semantics
| + | |
- | * Keep
It
Small,
Keep
It
Real:
Efficient
Run‐Time
Verification
of
Web
Service
Compositions
| + | |
- | * (S)
A
Type
Graph
Model
for
Java
Programs
| + | |
- | * (S)
Dynamic
Symbolic
Execution
of
Distributed
Concurrent
Objects
| + | |
- | * (S)
A
Model‐Checking
Approach
for
Service
Component
Architectures
| + | |
- | * (S)
Checking
the
conformance
of
orchestrations
with
respect
to
choreographies
in
web
services:
A
formal
approach
| + | |
- | | DAIS: Infrastructure and Services | + | |
- | * A Flexible Approach for Business Processes Monitoring (Diana Comes, Steffen Bleul, Thomas Weise, Kurt Geihs)
| + | |
- | * Distributed Contracting and Monitoring in the Internet of Services (Josef Spillner, Matthias Winkler, Sandro Reichert, Jorge Cardoso, Alexander Schill)
| + | |
- | * Dependency Management in Smart Homes (Daniel Retkowitz, Sven Kulle)
| + | |
- | * SoundPark: Towards Highly Collaborative Game Support in an Ubiquitous Computing Architecture (Romain Pellerin, Nicolas Bouillot, Tatiana Pietkiewicz, Mike Wozniewski, Zack Settel, Eric Gressier-Soudan, Jeremy R. Cooperstock)
| + | |
- | |-
| + | |
- | | Session 4 (14:00-15:30)
| + | |
- | | FMOODS: Verification and Testing
| + | |
- | * On
Model‐Checking
Optimistic
Replication
Algorithms
| + | |
- | * Modeling,
validation,
and
verification
of
PCEP
using
the
IF
language
| + | |
- | * (S)
Conformance
Testing
of
Network
Simulators
based
on
Metamorphic
Testing
Technique
| + | |
- | * (S)
Using
First‐Order
Logic
to
Reason
about
Submodule
Construction
| + | |
- | |
| + | |
- | |-
| + | |
- | | Tutorial (16:00:17:30)
| + | |
- | | colspan=2|
| + | |
- | * Verification Methods for Software Security and Correctness (Gilles Barthe)
| + | |
- | |}
| + | |
Bridging the Socio-technical Gap in Decision Support Systems - Challenges for the Next Decade, A. Respício, F. Adam, G. Phillips-Wren, C. Teixeira and J. Telhada,
Frontiers in Artificial Intelligence and Applications, Volume 212, IOS Press, NL.
Already available at IOS Press website <external link>