Sciweavers

4074 search results - page 679 / 815
» Abstract Graph Transformation
Sort
View
FATES
2006
Springer
15 years 5 months ago
Model-Based Testing of Thin-Client Web Applications
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Acht...
107
Voted
AVBPA
2003
Springer
146views Biometrics» more  AVBPA 2003»
15 years 5 months ago
Dental Biometrics: Human Identification Using Dental Radiographs
Abstract. The goal of forensic dentistry is to identify people based on their dental records, mainly as radiograph images. In this paper we attempt to set forth the foundations of ...
Anil K. Jain, Hong Chen, Silviu Minut
EUROCRYPT
2000
Springer
15 years 5 months ago
Cox-Rower Architecture for Fast Parallel Montgomery Multiplication
Abstract. This paper proposes a fast parallel Montgomery multiplication algorithm based on Residue Number Systems (RNS). It is easy to construct a fast modular exponentiation by ap...
Shin-ichi Kawamura, Masanobu Koike, Fumihiko Sano,...
HYBRID
2000
Springer
15 years 5 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas
113
Voted
ICALP
2000
Springer
15 years 5 months ago
A Statically Allocated Parallel Functional Language
Abstract. We describe SAFL, a call-by-value first-order functional language which is syntactically restricted so that storage may be statically allocated to fixed locations. Evalua...
Alan Mycroft, Richard Sharp