7992 search results - page 459 / 1599 » Communication Abstractions for Distributed Systems |
167
Voted
ICAC
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— DotSlash is an automated web hotspot rescue system. This paper presents DotSlash Qcache services that allow a web site to use on-demand distributed query result caching...
184
click to vote
INFORMATICALT
1998
15 years 6 months ago
1998
Abstract. More real systems have many components and their simulation requires significant execution times. The practical needs have conducted to distributed simulation rather tha...
179
Voted
ICDCS
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— Distributed stream processing systems offer a highly scalable and dynamically configurable platform for time-critical applications ranging from real-time, exploratory ...
205
Voted
FMCO
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
173
click to vote
PACT
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...