Sciweavers

5608 search results - page 1006 / 1122
» Structure description tools
Sort
View
EL
2008
139views more  EL 2008»
14 years 10 months ago
Achieving OAI PMH compliancy for CDS/ISIS databases
CDS/ISIS is an Integrated Storage and Information retrieval System of United Nations Educational Scientific and Cultural Organization (UNESCO), which is widely used for managing bi...
Stefka Kaloyanova, Gian Luigi Betti, Francesco Cas...
ESWA
2008
292views more  ESWA 2008»
14 years 10 months ago
Web mining based on Growing Hierarchical Self-Organizing Maps: Analysis of a real citizen web portal
This work is focused on the usage analysis of a citizen web portal, Infoville XXI (http://www.infoville.es) by means of Self-Organizing Maps (SOM). In this paper, a variant of the...
Antonio Soriano-Asensi, José David Mart&iac...
IANDC
2008
120views more  IANDC 2008»
14 years 10 months ago
A framework for compositional verification of security protocols
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
Suzana Andova, Cas J. F. Cremers, Kristian Gj&osla...
IANDC
2008
112views more  IANDC 2008»
14 years 10 months ago
Inclusion dynamics hybrid automata
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
Alberto Casagrande, Carla Piazza, Alberto Policrit...
CAL
2006
14 years 10 months ago
An Efficient, Practical Parallelization Methodology for Multicore Architecture Simulation
Multiple core designs have become commonplace in the processor market, and are hence a major focus in modern computer architecture research. Thus, for both product development and ...
James Donald, Margaret Martonosi
« Prev « First page 1006 / 1122 Last » Next »