Sciweavers

7139 search results - page 825 / 1428
» Language Engineering in Practice
Sort
View
243
Voted
AOSD
2012
ACM
14 years 3 months ago
A monadic interpretation of execution levels and exceptions for AOP
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
Nicolas Tabareau
297
Voted

Book
338views
17 years 4 months ago
The Data Conversion Handbook
"The Data Conversion Handbook, edited by Walt Kester (Newnes, 2005), is written for design engineers who routinely use data converters and related circuitry. Comprising Data C...
Walt Kester
208
Voted
WWW
2005
ACM
16 years 8 months ago
Mapping XML instances
For XML-based applications in general and B2B applications in particular, mapping between differently structured XML documents, to enable exchange of data, is a basic problem. A g...
Sai Anand, Erik Wilde
CAV
2009
Springer
132views Hardware» more  CAV 2009»
16 years 7 months ago
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
Thao Dang, David Salinas
221
Voted
CADE
2007
Springer
16 years 7 months ago
Formalization of Continuous Probability Distributions
Continuous probability distributions are widely used to mathematically describe random phenomena in engineering and physical sciences. In this paper, we present a methodology that ...
Osman Hasan, Sofiène Tahar