1168 search results - page 73 / 234 » cases 2000 |
141
click to vote
DAC
2000
ACM
15 years 10 months ago
2000
ACM
: The impact of coupling capacitance on delay is usually estimated by scaling the coupling capacitances (often by a factor of 2) and modeling them as grounded. This simple approach...
128
click to vote
ADVIS
2000
Springer
15 years 10 months ago
2000
Springer
This paper focuses on fundamental similarities between proposing links for hypertexts and predicting user-requests. It briefly outlines the theoretical background of both categorie...
125
click to vote
CSL
2000
Springer
15 years 10 months ago
2000
Springer
We study definability of languages in arithmetic and the free monoid by bounded versions of fixed-point and transitive-closure logics. In particular we give logical characterisat...
145
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
168
click to vote
ECWEB
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we propose an e-commerce protocol with the following features: (1) ensures true fair exchange, (2) does not require manual dispute resolution in case of unfair behavi...