Sciweavers

3428 search results - page 358 / 686
» Making the Case
Sort
View
LICS
2009
IEEE
16 years 1 months ago
Trace Semantics is Fully Abstract
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
Sumit Nain, Moshe Y. Vardi
AMI
2009
Springer
16 years 1 months ago
Designing an Awareness Display for Senior Home Care Professionals
Home care professionals play a central role in supporting elderly people when they need help to continue living in their own homes. Using awareness systems, caregivers might better...
Martijn H. Vastenburg, Robbert J. Vroegindeweij
APPT
2009
Springer
16 years 1 months ago
Computational Performance of a Parallelized Three-Dimensional High-Order Spectral Element Toolbox
In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance...
Christoph Bosshard, Roland Bouffanais, Christian C...
BPM
2009
Springer
161views Business» more  BPM 2009»
16 years 1 months ago
Trace Clustering Based on Conserved Patterns: Towards Achieving Better Process Models
Process mining refers to the extraction of process models from event logs. Real-life processes tend to be less structured and more flexible. Traditional process mining algorithms ...
R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aa...
WDAG
2009
Springer
146views Algorithms» more  WDAG 2009»
16 years 1 months ago
Dynamics in Network Interaction Games
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...
Martin Hoefer, Siddharth Suri