|
|
| (27 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}} |
| - | ==Tuesday==
| + | {{ page.desc: DSS 2010 - Programme - 15th IFIP WG 8.3 International Conference on Decision Support Systems}} |
| - | ===Invited Talk (9:00-10:00)===
| + | {{ page.head: DSS 2010 - Programme - the 15th IFIP WG 8.3 International Conference on Decision Support Systems - Lisbon}} |
| - | Coordination - Hop, a Fast Server for the Diffuse Web (invited talk)
| + | |
| - | Manuel Serrano
| + | |
| | | | |
| - | ===Session 1 (
10:30
‐12:30
)=== | + | ==Programme== |
| - | FMOODS: Analysis Techniques
| + | Please download the FINAL programme [[Media:Dss2010-programme.pdf|here]] 29-06-2010, 18:48 (GMT+1) |
| - | * Recursive
Parametric
Automata
and
ε‐Removal
| + | |
| - | * Approximated
Context‐sensitive
Analysis
for
Parameterized
Verification
| + | |
| - | * Verification
of
Parameterized
Systems
with
Combinations
of
Abstract
Domains
| + | |
| - | * Distinguishing
Non‐deterministic
Timed
Finite
State
Machines
| + | |
| | | | |
| - | DAIS: Peer-to-Peer and Adhoc Networks
| + | '''Panels''' |
| - | * D-Praxis : A peer-to-peer collaborative model edition framework (Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais)
| + | |
| - | * 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)
| + | |
| - | * Automated Assessment of Aggregate Query Imprecision in Dynamic Environments (Vasanth Rajamani, Christine Julien, Jamie Payton)
| + | |
| | | | |
| - | ===Session 2 (14:00-15:30)===
| + | Business Intelligence Research: Status and Strategies [[Media:DSS2010-panel-BI.pdf|agenda]] |
| - | FMOODS:
Process
Algebra
and
Calculus
| + | |
| - | * 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
| + | Healthcare IT and Decision Support [[Media:DSS2010-panel-healthcare.pdf|agenda]] |
| - | * 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)===
| |
| - | * Static Security Analysis of Service-Oriented Systems (Flemming Nielson)
| |
| | | | |
| - | ==Wednesday==
| |
| - | ===Invited Talk (9:00-10:00)===
| |
| - | (FMOODS)
| |
| | | | |
| - | ===Joint Session (10:30-12:30)===
| + | Conference book |
| - | * 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)===
| + | [[Image:book-cover.jpg|Book]] |
| - | * Types for Alias Control and Verification (Sophia Drossopoulou)
| + | |
| | | | |
| - | ===Tutorial (16:00-17:30)===
| + | 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, |
| - | * A Formal Approach to Service-Oriented Modelling (José Luiz Fiadeiro)
| + | Frontiers in Artificial Intelligence and Applications, Volume 212, IOS Press, NL. |
| - | | + | Already available at IOS Press [http://www.iospress.nl/loadtop/load.php?isbn=pa_faia.php website <external link>] |
| - | ==Thursday==
| + | |
| - | ===Invited Talk (9:00-10:00)===
| + | |
| - | (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)===
| + | |
| - | * 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>
