877 search results - page 145 / 176 » Model Based Development of Safety-Critical Systems Using Tem... |
AFRIGRAPH
2007
ACM
13 years 11 months ago
2007
ACM
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...
NGITS
1999
Springer
13 years 12 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
SEFM
2007
IEEE
14 years 2 months ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
In this paper, security evaluation of an important watermarking class based on quantization is given. Theoretical developments and practical simulations are used to measure the se...
ASPLOS
2000
ACM
14 years 2 days ago
2000
ACM
Recently, there has been a growing interest in exploiting profile information in adaptive systems such as just-in-time compilers, dynamic optimizers and, binary translators. In th...