20126 search results - page 3555 / 4026 » Timed Transition Systems |
208
click to vote
ICFP
2000
ACM
15 years 11 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
206
click to vote
MM
2000
ACM
15 years 11 months ago
2000
ACM
The increase of bandwidth and streaming technology has made video on the Web the current “killer-app” of the dot-com world. However, users still face many problems. Users have...
170
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
179
click to vote
SIGMETRICS
2000
ACM
15 years 11 months ago
2000
ACM
The Lightweight Directory Access Protocol (LDAP) is being used for an increasing number of distributed directory applications. We describe a tool to analyze the performance of LDA...
164
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
A number of recent systems have provided rich facilities for manipulating the timelines of applications. Such timelines represent the history of an application’s use in some ses...