8446 search results - page 1540 / 1690 » A Process Compensation Language |
114
click to vote
ISCA
2002
IEEE
15 years 8 months ago
2002
IEEE
The impact of pipeline length on the performance of a microprocessor is explored both theoretically and by simulation. An analytical theory is presented that shows two opposing ar...
174
click to vote
ITCC
2002
IEEE
15 years 8 months ago
2002
IEEE
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...
133
click to vote
WSE
2002
IEEE
15 years 8 months ago
2002
IEEE
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
157
click to vote
SACMAT
2010
ACM
15 years 8 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
145
click to vote
ICADL
2010
Springer
15 years 8 months ago
2010
Springer
Maintaining and extending large thesauri is an important challenge facing digital libraries and IT businesses alike. In this paper we describe a method building on and extending ex...