Sciweavers

1134 search results - page 125 / 227
» Distributed Proving in Access-Control Systems
Sort
View
CONCUR
2008
Springer
15 years 5 months ago
Unfolding-Based Diagnosis of Systems with an Evolving Topology
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara...
128
Voted
DOA
2000
116views more  DOA 2000»
15 years 4 months ago
Jini Technology Applied to Railway Systems
In the world of pervasive computing where large management systems, as well as small devices, all become interconnected, the problem of the configuration and management of network...
Txomin Nieva, Andreas Fabri, Abdenbi Benammour
127
Voted
MM
2009
ACM
138views Multimedia» more  MM 2009»
15 years 10 months ago
MobileTI: a portable tele-immersive system
We present MobileTI, a portable tele-immersive system that merges 3D video representations of users in real time to enable remote collaboration across geographical distances. With...
Wanmin Wu, Raoul Rivas, Md. Ahsan Arefin, Shu Shi,...
ICPP
2009
IEEE
15 years 10 months ago
Fine-grain Parallelism Using Multi-core, Cell/BE, and GPU Systems: Accelerating the Phylogenetic Likelihood Function
We are currently faced with the situation where applications have increasing computational demands and there is a wide selection of parallel processor systems. In this paper we fo...
Frederico Pratas, Pedro Trancoso, Alexandros Stama...
105
Voted
ICPP
2006
IEEE
15 years 9 months ago
A Framework to Achieve Guaranteed QoS for Applications and High System Performance in Multi-Institutional Grid Computing
Providing QoS guarantees to the applications in a multi-institutional Grid is a challenging task. Although advance reservations (ARs) can provide QoS guarantees for the applicatio...
Umar Farooq, Shikharesh Majumdar, Eric W. Parsons