Sciweavers

1748 search results - page 229 / 350
» interact 2003
Sort
View
136
Voted
EUROPAR
2003
Springer
15 years 9 months ago
iClouds - Peer-to-Peer Information Sharing in Mobile Environments
The future mobile and ubiquitous computing world will need new forms of information sharing and collaboration between people. In this paper we present iClouds, an architecture for ...
Andreas Heinemann, Jussi Kangasharju, Fernando Lya...
EUROPAR
2003
Springer
15 years 9 months ago
Programming Coordinated Motion Patterns with the TOTA Middleware
In this paper, we present TOTA (“Tuples On The Air”), a novel middleware to coordinate the movements of a large number of autonomous components (i.e. agents) in a ubiquitous co...
Marco Mamei, Franco Zambonelli, Letizia Leonardi
114
Voted
FATES
2003
Springer
15 years 9 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg
118
Voted
FIDJI
2003
Springer
15 years 9 months ago
A Java-Based Uniform Workbench for Simulating and Executing Distributed Mobile Applications
Spontaneous multihop networks with high device mobility and frequent fluctuations are interesting platforms for future distributed applications. Because of the large number of mob...
Hannes Frey, Daniel Görgen, Johannes K. Lehne...
GD
2003
Springer
15 years 9 months ago
Drawing Area-Proportional Venn and Euler Diagrams
We consider the problem of drawing Venn diagrams for which each region’s area is proportional to some weight (e.g., population or percentage) assigned to that region. These area-...
Stirling Chow, Frank Ruskey