DSS 2010 - Programme - the 15th IFIP WG 8.3 International Conference on Decision Support Systems - Lisbon


From DSS2010
(Difference between revisions)
Jump to: navigation, search
(exchanged sessions 2 and 3 for FMOODS/FORTE)
Current revision (17:49, 29 June 2010) (view source)
(→Programme)
 
(16 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" cellspacing="0" style="text-align:left;"
+
{{ page.desc: DSS 2010 - Programme - 15th IFIP WG 8.3 International Conference on Decision Support Systems}}
-
| colspan=4|
+
{{ page.head: DSS 2010 - Programme - the 15th IFIP WG 8.3 International Conference on Decision Support Systems - Lisbon}}
-
==Tuesday (9 June)==
+
 
-
|-
+
==Programme==
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Invited Talk<br />
+
Please download the FINAL programme [[Media:Dss2010-programme.pdf|here]] 29-06-2010, 18:48 (GMT+1)
-
(9:00-10:00)
+
 
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3|
+
'''Panels'''
-
* [[Coordination/Invited_Speaker|Hop, a Fast Server for the Diffuse Web]] (Manuel Serrano)
+
 
-
|-
+
Business Intelligence Research: Status and Strategies [[Media:DSS2010-panel-BI.pdf|agenda]]
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 1<br />
+
 
-
(10:30-12:30)
+
Healthcare IT and Decision Support [[Media:DSS2010-panel-healthcare.pdf|agenda]]
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''Coordination: Languages and Systems''
+
 
-
* '''High-Performance Transactional Event Processing''' (Jesper Honig Spring, Jean Privat, Rachid Guerraoui, Jan Vitek, Antonio Cunei)
+
 
-
* '''Exceptionally Safe Futures''' (Armand Navabi, Suresh Jagannathan)
+
 
-
* '''Enhanced Coordination in Sensor Networks through Flexible Service Provisioning''' (Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu)
+
Conference book
-
* '''Fairness for Chorded Languages''' (Alexis Petrounias, Susan Eisenbach)
+
 
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''DAIS: Peer-to-Peer and Adhoc Networks''
+
[[Image:book-cover.jpg|Book]]
-
* '''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)
+
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,
-
* '''WiSeKit: A Distributed Middleware to Support Application-level Adaptation in Sensor Network''' (Amirhosein Taherkordi, Quan Le-Trung, Romain Rouvoy, Frank Eliassen)
+
Frontiers in Artificial Intelligence and Applications, Volume 212, IOS Press, NL.
-
* '''Automated Assessment of Aggregate Query Imprecision in Dynamic Environments''' (Vasanth Rajamani, Christine Julien, Jamie Payton)
+
Already available at IOS Press [http://www.iospress.nl/loadtop/load.php?isbn=pa_faia.php website <external link>]
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''FMOODS/FORTE: Analysis Techniques''
+
-
* '''Recursive Parametric Automata and &epsilon;-Removal''' (Lin Liu and Jonathan Billington)
+
-
* '''Approximated Context-sensitive Analysis for Parameterized Verification''' (Parosh Abdulla, Giorgio Delzanno and Ahmed Rezine)
+
-
* '''Verification of Parameterized Systems with Combinations of Abstract Domains''' (Naghmeh Ghafari, Arie Gurfinkel and Richard Trefler)
+
-
* '''Distinguishing Non-deterministic Timed Finite State Machines''' (Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina and Nina Yevtushenko)
+
-
|-
+
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 2 (14:00-15:30)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''Coordination: Semantic Models and Calculi''
+
-
* '''Mobility Models and Behavioural Equivalence for Wireless Networks''' (Jens Chr. Godskesen, Sebastian Nanz)
+
-
* '''Parametrised Constants and Replication for Spatial Mobility''' (Børn Haagensen, Hans Hüttel)
+
-
* '''Biochemical Tuple Spaces for Self-Organising Coordination''' (Mirko Viroli, Matteo Casadei)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''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)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"|''FMOODS/FORTE: Objects, Components, Services''
+
-
* '''System Model-based Definition of Modeling Language Semantics''' (Hans Grönniger, Jan Oliver Ringert and Bernhard Rumpe)
+
-
* '''Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions''' (Luciano Baresi, Domenico Bianculli, Sam Guinea and Paola Spoletini)
+
-
* (S) '''A Type Graph Model for Java Programs''' (Arend Rensink and Eduardo Zambon)
+
-
* (S) '''Dynamic Symbolic Execution of Distributed Concurrent Objects''' (Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen and Rudolf Schlatte)
+
-
* (S) '''A Model-Checking Approach for Service Component Architectures''' (João Abreu, Franco Mazzanti, José Luiz Fiadeiro and Stefania Gnesi)
+
-
* (S) '''Checking the conformance of orchestrations with respect to choreographies in web services: A formal approach''' (Gregorio Díaz and Ismael Rodriguez)
+
-
|-
+
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Tutorial (16:00-17:30)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3|
+
-
* '''Static Security Analysis of Service-Oriented Systems''' (Flemming Nielson)
+
-
|-
+
-
| colspan=4|
+
-
==Wednesday (10 June)==
+
-
|-
+
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Invited Talk (9:00-10:00)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3|
+
-
* [[FMOODS_FORTE/Invited_Speaker|Structured Application Development over Wide-Area Networks]] (Jayadev Misra)
+
-
|-
+
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Joint Session (10:30-12:30)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3|
+
-
* Coordination: '''Multicore Scheduling for Lightweight Communicating Processes''' (Carl Ritson, Adam Sampson, Frederick Barnes)
+
-
* DAIS: '''Exploiting Synergies Between Coexisting Overlays''' (Shen Lin, François Taiani, Gordon Blair)
+
-
* FMOODS/FORTE: '''Typing Component-Based Communication''' (Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt and Jean-Bernard Stefani)
+
-
|-
+
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Tutorial (14:00-15:30)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3|
+
-
* '''Types for Alias Control and Verification''' (Sophia Drossopoulou)
+
-
|-
+
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Tutorial (16:00-17:30)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3|
+
-
* '''A Formal Approach to Service-Oriented Modelling''' (José Luiz Fiadeiro)
+
-
|-
+
-
| colspan=4|
+
-
==Thursday (11 June)==
+
-
|-
+
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Invited Talk (9:00-10:00)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3|
+
-
* [[DAIS/Invited_Speaker|Data Management in the Cloud]] (Raghu Ramakrishnan)
+
-
|-
+
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 3 (10:30-12:30)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''Coordination: Composition and Components''
+
-
* '''Automata for Context-dependent Connectors''' (Marcello Bonsangue, Dave Clarke, Alexandra Silva)
+
-
* '''Contract-Based Coordination of Hardware Components for the Development of Embedded Software''' (Tayeb Bouhadiba, Florence Maraninchi)
+
-
* '''Coordination Model for Real-time Collaborative Editors''' (Abdessamad Imine)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''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)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''FMOODS/FORTE: Process Algebra and Calculus''
+
-
* '''Epistemic Logic for the Applied Pi Calculus''' (Rohit Chadha, Stephanie Delaune and Steve Kremer)
+
-
* '''On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems''' (Morten Kühnrich and Uwe Nestmann)
+
-
* '''A Software Platform for Timed Mobility and Timed Interaction''' (Gabriel Ciobanu and Calin Juravle)
+
-
|-
+
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 4 (14:00-15:30)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''Coordination: Verification and Modeling''
+
-
* '''A Uniform Framework for Modeling and Verifying Components and Connectors''' (Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz )
+
-
* '''From Coordination to Stochastic Models of QoS''' (Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chretien Verhoef)
+
-
* '''Assume-Guarantee Verification of Concurrent Systems''' (Liliana D'Errico, Michele Loreti)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"|
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| ''FMOODS/FORTE: Verification and Testing''
+
-
* '''On Model-Checking Optimistic Replication Algorithms''' (Hanifa Boucheneb and Abdessamad Imine)
+
-
* '''Modeling, validation, and verification of PCEP using the IF language''' (Iksoon Hwang, Mounir Lallali, Ana Cavalli and Dominique Verchere)
+
-
* (S) '''Conformance Testing of Network Simulators based on Metamorphic Testing Technique''' (Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu and Shengqiong Wang)
+
-
* (S) '''Using First-Order Logic to Reason about Submodule Construction''' (Gregor Bochmann)
+
-
|-
+
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Tutorial (16:00-17:30)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;" colspan=3|
+
-
* '''Verification Methods for Software Security and Correctness''' (Gilles Barthe)
+
-
|}
+

Current revision

Programme

Please download the FINAL programme here 29-06-2010, 18:48 (GMT+1)

Panels

Business Intelligence Research: Status and Strategies agenda

Healthcare IT and Decision Support agenda


Conference book

Book

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>

Retrieved from "http://webdss2010.di.fc.ul.pt/index.php?title=Programme"
Personal tools