Sciweavers

5401 search results - page 563 / 1081
» Using Versions in GIS
Sort
View
ICWE
2010
Springer
15 years 5 months ago
From Mockups to User Interface Models: An Extensible Model Driven Approach
Sketching web applications with mockup tools is a common practice that improves the process of elicitation and validation of requirements in web applications. However, mockups are ...
José Matías Rivero, Gustavo Rossi, J...
IPL
2010
107views more  IPL 2010»
15 years 5 months ago
Collisions for variants of the BLAKE hash function
In this paper we present an attack to the BLOKE and BRAKE hash functions, which are weakened versions of the SHA-3 candidate BLAKE. In difference to BLAKE, the BLOKE hash functio...
Janos Vidali, Peter Nose, Enes Pasalic
JCT
2010
94views more  JCT 2010»
15 years 5 months ago
Growth diagrams for the Schubert multiplication
We present a partial generalization to Schubert calculus on flag varieties of the classical Littlewood-Richardson rule, in its version based on Sch¨utzenberger’s jeu de taquin....
Cristian Lenart
TWC
2008
145views more  TWC 2008»
15 years 5 months ago
Generalized Window-Based PN Acquisition Scheme in CDMA Spread Spectrum Systems
In this letter, we propose a generalized version of the window-based pseudonoise (PN) acquisition scheme verifying one or more best hypotheses rather than the best one per search w...
Kwang Man Ok, Chung Gu Kang
LOGCOM
2010
123views more  LOGCOM 2010»
15 years 5 months ago
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
Peter Baumgartner, Ulrich Furbach, Björn Pelz...