Sciweavers

661 search results - page 106 / 133
» Concurrency, objects and visualisation
Sort
View
IAJIT
2010
166views more  IAJIT 2010»
14 years 10 months ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
118
Voted
3DPH
2009
143views Healthcare» more  3DPH 2009»
14 years 9 months ago
Interactive Segmentation of Volumetric Medical Images for Collaborative Telemedicine
Abstract. Teleradiology, which enables distribution and sharing of digital medical images for collaborative diagnosis, has enjoyed rapid success due to the advances in telecommunic...
Jérôme Schmid, Niels A. Nijdam, Seung...
TDSC
2010
160views more  TDSC 2010»
14 years 6 months ago
Dual-Quorum: A Highly Available and Consistent Replication System for Edge Services
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Edge services allow clients to access Internet service...
Lei Gao, Michael Dahlin, Jiandan Zheng, Lorenzo Al...
ICSE
2000
IEEE-ACM
15 years 3 months ago
Producing more reliable software: mature software engineering process vs. state-of-the-art technology?
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
James C. Widmaier
IWMM
2011
Springer
254views Hardware» more  IWMM 2011»
14 years 2 months ago
Short-term memory for self-collecting mutators
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
Martin Aigner, Andreas Haas, Christoph M. Kirsch, ...