280 search results - page 40 / 56 » Early Aspects Refactoring |
APSEC
2000
IEEE
15 years 2 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
INFOCOM
2000
IEEE
15 years 2 months ago
2000
IEEE
TCP suffers from low performance over asynchronous transfer mode (ATM) networks. This is mainly because during phases of congestion, ATM drops cells without taking into account th...
ISQED
2000
IEEE
2000
IEEE
A Layout Approach for Electrical and Physical Design Integration of High-Performance Analog Circuits
15 years 2 months ago
This paper presents a layout generation tool that aims to reduce the gap between electrical sizing and physical realization of high performance analog circuits. The procedural lay...
ACMDIS
2000
ACM
15 years 2 months ago
2000
ACM
Through a study of web site design practice, we observed that web site designers employ multiple representations of web sites as they progress through the design process, and that...
ADL
1999
Springer
15 years 2 months ago
1999
Springer
We describe an approach to the development of a digital library system that is founded on a number of basic principles. In particular, we discuss the critical role of metadata in ...