2903 search results - page 127 / 581 » On the univalence of an integral operator |
166
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
175
click to vote
SACMAT
2006
ACM
16 years 12 days ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
174
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
Register integration (or just integration) is a register renaming discipline that implements instruction reuse via physical register sharing. Initially developed to perform squash...
250
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Schema integration is the problem of creating a unified target schema based on a set of existing source schemas that relate to each other via specified correspondences. The unifie...
200
click to vote
COMPGEOM
2009
ACM
16 years 29 days ago
2009
ACM
Integration over a domain, such as a Euclidean space or a Riemannian manifold, is a fundamental problem across scientific fields. Many times, the underlying domain is only acces...