Sciweavers

4067 search results - page 535 / 814
» Programs for Applying Symmetries
Sort
View
FASE
2001
Springer
15 years 11 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
NLDB
2001
Springer
15 years 11 months ago
Lexical Enrichment of WordNet with Classification Systems Using Specification Marks Method
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
Andrés Montoyo, Manuel Palomar, German Riga...
CSMR
2000
IEEE
15 years 11 months ago
Towards a Quantitative Assessment of Method Replacement
Object-oriented programming is about the creation of reusable classes that are to be extended to capture the specific requirements of the application at hand. However, instead of...
Rudolf K. Keller, Reinhard Schauer
VISUALIZATION
2000
IEEE
15 years 11 months ago
Scientific visualization of water quality in the Chesapeake Bay
This paper describes our experience in designing and building a tool for visualizing the results of the CE-QUAL-ICM Three-Dimensional Eutrophication Model, as applied to water qua...
Robert Stein, Alan M. Shih, M. Pauline Baker, Carl...
CHES
2000
Springer
135views Cryptology» more  CHES 2000»
15 years 11 months ago
Protecting Smart Cards from Passive Power Analysis with Detached Power Supplies
Power analysis is a very successful cryptanalytic technique which extracts secret information from smart cards by analysing the power consumed during the execution of their interna...
Adi Shamir