3645 search results - page 301 / 729 » Implementing mapping composition |
177
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The task of information integration challenges software engineers on a daily basis. Software artifacts, produced during software development, contain many implicit and ex...
151
click to vote
SACRYPT
2001
Springer
15 years 11 months ago
2001
Springer
—For cryptographic applications, normal bases have received considerable attention, especially for hardware implementation. In this article, we consider fast software algorithms ...
149
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The aim of this paper is to provide tool developers with effective strategies to minimize the risks, costs, effort and time involved in handling model interchange issues. Specific...
156
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
175
click to vote
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...