Sciweavers

Share

Publication
209views
7 years 9 months ago
An Exploratory Study on Open Conversation Spaces in Global Software Engineering
Software engineering is by nature a highly collaborative activity and being able to collaborate effectively is a key factor for project success. However, collaborating effectivel...
Kevin Dullemond, Ben van Gameren, Rini van Solinge...
CORR
2011
Springer
162views Education» more  CORR 2011»
8 years 2 months ago
Re-thinking Enrolment in Identity Card Schemes
Many countries around the world have initiated national ID card programs in the last decade. These programs are considered of strategic value to governments due to its contributio...
Ali M. Al-Khouri
TSP
2010
8 years 5 months ago
A deflation procedure for subspace decomposition
A general deflation framework is described for the separation of a desired signal subspace of arbitrary dimensions from noisy multichannel observations. The method simultaneously u...
Reza Sameni, Christian Jutten, Mohammad Bagher Sha...
JUCS
2010
118views more  JUCS 2010»
8 years 5 months ago
Merging Strategies for Authoring QoE-based Adaptive Hypermedia
This paper describes recent work on strategy merger development in the authoring process of adaptive hypermedia. The goal of a merging strategy is to break a complex adaptation dec...
Joshua Scotton, Sabine Moebs, Jennifer McManis, Al...
JAIHC
2010
88views more  JAIHC 2010»
8 years 5 months ago
SmartEx: a case study on user profiling and adaptation in exhibition booths
Abstract An investigation into user profiling and adaptation with exhibition booth as a case study is reported. First a review of the field of exhibitions and trade fairs and
Ben Salem, Jorge Alves Lino, Matthias Rauterberg
SCP
2011
255views Communications» more  SCP 2011»
8 years 5 months ago
Map fusion for nested datatypes in intensional type theory
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
Ralph Matthes
CANDC
2009
ACM
8 years 8 months ago
Designing to support reasoned imagination through embodied metaphor
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...
Alissa Nicole Antle, Greg Corness, Saskia Bakker, ...
SOCA
2010
IEEE
8 years 8 months ago
Supporting the evolution of model-driven service-oriented systems: A case study on QoS-aware process-driven SOAs
Process-driven service-oriented architectures (SOA) need to cope with constant changing requirements of various compliance requirements, such as quality of service (QoS) constraint...
Ernst Oberortner, Uwe Zdun, Schahram Dustdar, Agni...
PERCOM
2010
ACM
8 years 8 months ago
Towards automated verification of autonomous networks: A case study in self-configuration
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
JaeSeung Song, Tiejun Ma, Peter R. Pietzuch
CNSM
2010
8 years 8 months ago
Facing the unpredictable: Automated adaption of IT change plans for unpredictable management domains
Abstract--Change Management, a core process of the Information Technology Infrastructure Library (ITIL), is concerned with the management of changes to IT infrastructure and servic...
Sebastian Hagen, Alfons Kemper
books