1895 search results - page 251 / 379 » Modular Functional Descriptions |
SEMWEB
2001
Springer
14 years 11 days ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
ECBS
2000
IEEE
14 years 11 days ago
2000
IEEE
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
DAC
1999
ACM
14 years 8 days ago
1999
ACM
We present a methodology for the watermarking of synchronous sequential circuits that makes it possible to identify the authorship of designs by imposing a digital watermark on th...
MSS
1999
IEEE
14 years 6 days ago
1999
IEEE
This paper analyses HPSS performance and, to a lesser extent, characterizes the SDSC HPSS workload, utilizing per-file transfer logs. The performance examined includes disk cache ...
FPL
1999
Springer
14 years 6 days ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...