Sciweavers

4591 search results - page 428 / 919
» The Global Computer
Sort
View
GC
2004
Springer
16 years 7 days ago
For-LySa: UML for Authentication Analysis
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
Mikael Buchholtz, Carlo Montangero, Lara Perrone, ...
IMR
2004
Springer
16 years 6 days ago
Smoothing and Adaptive Redistribution for Grids with Irregular Valence and Hanging Nodes
We describe some extensions to the grid smoothing scheme described in [1, 2] that deal with the following issues: 1) the clustering effect of changing valence in an unstructured ...
Larisa Branets, Graham F. Carey
SAPIR
2004
Springer
16 years 5 days ago
Considerations on Inter-domain QoS and Traffic Engineering Issues Through a Utopian Approach
End-to-end QoS has been seldom studied in its inter-domain aspects, particularly within the scope of the global Internet and from an engineering perspective. This paper is intended...
Pierre Levis, Abolghasem (Hamid) Asgari, Panos Tri...
SG
2004
Springer
16 years 5 days ago
Floating Labels: Applying Dynamic Potential Fields for Label Layout
Abstract. This paper introduces a new method to determine appealing placements of textual annotations for complex-shaped geometric models. It employs dynamic potential fields, whi...
Knut Hartmann, Kamran Ali, Thomas Strothotte
ECCV
2010
Springer
16 years 5 days ago
Rotation invariant non-rigid shape matching in cluttered scenes
Abstract. This paper presents a novel and efficient method for locating deformable shapes in cluttered scenes. The shapes to be detected may undergo arbitrary translational and rot...