Sciweavers

1729 search results - page 177 / 346
» Generic Haskell: Applications
Sort
View
EDOC
2004
IEEE
15 years 10 months ago
A Rigorous Approach to Relate Enterprise and Computational Viewpoints
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...
Remco M. Dijkman, Dick A. C. Quartel, Luís ...
FPGA
2006
ACM
92views FPGA» more  FPGA 2006»
15 years 10 months ago
Embedded floating-point units in FPGAs
Due to their generic and highly programmable nature, FPGAs provide the ability to implement a wide range of applications. However, it is this nonspecific nature that has limited t...
Michael J. Beauchamp, Scott Hauck, Keith D. Underw...
ER
2000
Springer
134views Database» more  ER 2000»
15 years 10 months ago
Data Warehouse Scenarios for Model Management
Model management is a framework for supporting meta-data related applications where models and mappings are manipulated as first class objects using operations such as Match, Merge...
Philip A. Bernstein, Erhard Rahm
ESORICS
2000
Springer
15 years 10 months ago
Verification of a Formal Security Model for Multiapplicative Smart Cards
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, ...
SARA
2000
Springer
15 years 10 months ago
GIS Databases: From Multiscale to MultiRepresentation
Cartography is one of the major application areas using geographical databases. Whether it is for the business of producing paper maps for sale, or whether it is for displaying map...
Stefano Spaccapietra, Christine Parent, Christelle...