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
(added Coordination papers; some styling)
Current revision (17:49, 29 June 2010) (view source)
(→Programme)
 
(25 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"
+
{{ 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 (June 9)==
+
 
-
|-
+
==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| Hop, a Fast Server for the Diffuse Web (Manuel Serrano)
+
'''Panels'''
-
|-
+
 
-
| valign="top" style="border-bottom:1px solid darkgray; background:PapayaWhip;"| Session 1<br />
+
Business Intelligence Research: Status and Strategies [[Media:DSS2010-panel-BI.pdf|agenda]]
-
(10:30‐12:30)
+
 
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| FMOODS: Analysis Techniques
+
Healthcare IT and Decision Support [[Media:DSS2010-panel-healthcare.pdf|agenda]]
-
* Recursive Parametric Automata and &epsilon;‐Removal
+
 
-
* Approximated Context‐sensitive Analysis for Parameterized Verification
+
 
-
* Verification of Parameterized Systems with Combinations of Abstract Domains
+
 
-
* Distinguishing Non‐deterministic Timed Finite State Machines
+
Conference book
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| DAIS: Peer-to-Peer and Adhoc Networks
+
 
-
* D-Praxis : A peer-to-peer collaborative model edition framework (Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais)
+
[[Image:book-cover.jpg|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)
+
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,
-
* Automated Assessment of Aggregate Query Imprecision in Dynamic Environments (Vasanth Rajamani, Christine Julien, Jamie Payton)
+
Frontiers in Artificial Intelligence and Applications, Volume 212, IOS Press, NL.
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| Coordination: Languages and Systems
+
Already available at IOS Press [http://www.iospress.nl/loadtop/load.php?isbn=pa_faia.php website <external link>]
-
* 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)
+
-
* Fairness for Chorded Languages (Alexis Petrounias, Susan Eisenbach)
+
-
|-
+
-
| 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;"| 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
+
-
| 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;"| Coordination: Semantic Models and Calculi
+
-
* Mobility Models and Behavioural Equivalence for Wireless Networks (Jens ChrGodskesen, 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; 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 (June 10)==
+
-
|-
+
-
| 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| 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|
+
-
* FMOODS: Typing Component‐Based Communication
+
-
* DAIS: Exploiting Synergies Between Coexisting Overlays (Shen Lin, François Taiani, Gordon Blair)
+
-
* Coordination: Multicore Scheduling for Lightweight Communicating Processes (Carl Ritson, Adam Sampson, Frederick Barnes)
+
-
|-
+
-
| 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 (June 11)==
+
-
|-
+
-
| 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| 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;"| 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
+
-
| 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;"| 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; background:PapayaWhip;"| Session 4 (14:00-15:30)
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"| 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
+
-
| valign="top" style="border-bottom:1px solid darkgray; padding-right:1em;"|
+
-
| 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; 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