Sciweavers

1192 search results - page 161 / 239
» Computing Weakest Readings
Sort
View
CSCWD
2005
Springer
15 years 5 months ago
BW-M: a framework for awareness support in Web-based groupware systems
In this paper, we present a framework for contextbased awareness support designed for web-based groupware systems. Nowadays, such systems can be accessed through web-enabled mobil...
Manuele Kirsch-Pinheiro, Marlène Villanova-...
133
Voted
CONCUR
2008
Springer
15 years 5 months ago
Distributed Timed Automata with Independently Evolving Clocks
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan ...
115
Voted
CONCUR
2008
Springer
15 years 5 months ago
A Scalable and Oblivious Atomicity Assertion
Abstract. This paper presents SOAR: the first oblivious atomicity assertion with polynomial complexity. SOAR enables to check atomicity of a single-writer multi-reader register imp...
Rachid Guerraoui, Marko Vukolic
160
Voted
DCOSS
2008
Springer
15 years 5 months ago
An Adaptive and Autonomous Sensor Sampling Frequency Control Scheme for Energy-Efficient Data Acquisition in Wireless Sensor Net
Abstract. Wireless sensor networks are increasingly being used in environmental monitoring applications. Collecting raw data from these networks can lead to excessive energy consum...
Supriyo Chatterjea, Paul J. M. Havinga
149
Voted
PARCO
2003
15 years 5 months ago
Cache Memory Behavior of Advanced PDE Solvers
Three different partial differential equation (PDE) solver kernels are analyzed in respect to cache memory performance on a simulated shared memory computer. The kernels implement...
Dan Wallin, Henrik Johansson, Sverker Holmgren