Sciweavers

536 search results - page 48 / 108
» Software-Managed Address Translation
Sort
View
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 3 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
VLDB
2004
ACM
125views Database» more  VLDB 2004»
15 years 3 months ago
From XML View Updates to Relational View Updates: old solutions to a new problem
This paper addresses the question of updating relational databases through XML views. Using query trees to capture the notions of selection, projection, nesting, grouping, and het...
Vanessa P. Braganholo, Susan B. Davidson, Carlos A...
SAC
2003
ACM
15 years 3 months ago
Automatic Code Generation for a Convection Scheme
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
Paul van der Mark, Lex Wolters, Gerard Cats
ITC
2002
IEEE
112views Hardware» more  ITC 2002»
15 years 2 months ago
Multiplets, Models, and the Search for Meaning: Improving Per-Test Fault Diagnosis
The advantage to “one test at a time” fault diagnosis is its ability to implicate the components of complicated defect behaviors. The disadvantage is the large size and opacit...
David B. Lavo, Ismed Hartanto, Tracy Larrabee
HICSS
1999
IEEE
132views Biometrics» more  HICSS 1999»
15 years 2 months ago
The Cultural Component of Designing and Evaluating International User Interfaces
By and large, cultural diversity is not being addressed in the design and development of user interfaces for international markets. Localization efforts that merely translate lang...
Nestor G. Trillo