11066 search results - page 2067 / 2214 » Linearity in Process Languages |
105
click to vote
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe Spectra, a remote execution system for batterypowered clients used in pervasive computing. Spectra enables applications to combine the mobility of small devices with t...
119
Voted
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...
177
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...
138
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 ...
159
Voted
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 ...