1613 search results - page 172 / 323 » Model-Driven Constraint Engineering |
145
click to vote
SIGSOFT
1993
ACM
15 years 8 months ago
1993
ACM
The software architecture of most systems is described informally and diagrammatically. In order for these descriptions to be meaningful at all, gures are understood by interpreti...
119
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
132
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we present an approach for automatic synthesis of System on Chip (SoC) multiprocessor architectures for applications expressed as process networks. Our approach is ...
126
click to vote
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
For several reasons a database may not satisfy a given set of integrity constraints (ICs), but most likely most of the information in it is still consistent with those ICs; and cou...
121
click to vote
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
The wavelet decomposition is a proven tool for constructing concise synopses of massive data sets and rapid changing data streams, which can be used to obtain fast approximate, wit...