Sciweavers

564 search results - page 9 / 113
» A framework with tools for designing web-based geographic ap...
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
13 years 8 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
IV
2005
IEEE
197views Visualization» more  IV 2005»
14 years 2 months ago
Mobile Augmented Reality Techniques for GeoVisualisation
This paper presents the first prototype of an interactive visualisation framework specifically designed for presenting geographical information in both indoor and outdoor environm...
Fotis Liarokapis, Ian Greatbatch, David Mountain, ...
INFOCOM
2011
IEEE
13 years 8 days ago
The resilience of WDM networks to probabilistic geographical failures
—Telecommunications networks, and in particular optical WDM networks, are vulnerable to large-scale failures of their physical infrastructure, resulting from physical attacks (su...
Pankaj K. Agarwal, Alon Efrat, Shashidhara K. Ganj...
DMDW
2003
269views Management» more  DMDW 2003»
13 years 10 months ago
CASME: A CASE Tool for Spatial Data Marts Design and Generation
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
Hajer Baazaoui Zghal, Sami Faïz, Henda Hajjam...
SCANGIS
2003
13 years 10 months ago
Knowledge Extraction by Visual Data Mining of Metadata in Site Planning
The paper describes a tool designed within the first stage of the European project INVISIP in order to explore geographical metadata in the site planning process. A visual data mi...
Riccardo Albertoni, Alessio Bertone, Urska Demsar,...