Sciweavers

43 search results - page 5 / 9
» birthday 2003
Sort
View
BIRTHDAY
2003
Springer
15 years 2 months ago
Java Applets for the Dynamic Visualization of Voronoi Diagrams
We discuss the design of Java applets that visualize how the Voronoi diagram of n points continuously changes as individual points are moved across the plane, or as the underlying...
Christian Icking, Rolf Klein, Peter Köllner, ...
BIRTHDAY
2003
Springer
15 years 2 months ago
Using Alternating Words to Describe Symbolic Pictures
In this paper we present the concepts of drawn symbolic picture and symbolic picture. Such notions have been conceived as an extension of the concept of drawn pictures which was i...
Gennaro Costagliola, Vincenzo Deufemia, Filomena F...
BIRTHDAY
2003
Springer
15 years 2 months ago
A Formal Basis for Reasoning on Programmable QoS
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari...
BIRTHDAY
2003
Springer
15 years 2 months ago
Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...
Krishna V. Palem
BIRTHDAY
2003
Springer
15 years 1 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman