7992 search results - page 1211 / 1599 » Communication Abstractions for Distributed Systems |
182
click to vote
LCPC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. We are developing a compiler which processes da...
226
click to vote
CONCUR
1991
Springer
15 years 10 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
166
click to vote
COLCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. Malicious Web content poses a serious threat to the Internet, organizations and users. Current approaches to detecting malicious Web content employ high-powered honey cli...
201
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
176
click to vote
IESA
2007
15 years 8 months ago
2007
Conventional approaches to manage and control security seem to have reached their limits in new complex environments. These environments are open, dynamic, heterogeneous, distribut...