17680 search results - page 540 / 3536 » Simulation of Computer Systems and Applications |
180
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
163
click to vote
FLAIRS
2004
15 years 8 months ago
2004
The issue of fire propagation in cities is of obvious importance to Civil Authorities, but does present issues of computational complexity. Our basic assumption is that some event...
184
click to vote
GCC
2007
Springer
16 years 1 months ago
2007
Springer
Wide-area distributed systems like computational grids are emergent infrastructures for high-performance parallel applications. On these systems, communication mechanisms have to ...
205
click to vote
NDSS
2005
IEEE
16 years 18 days ago
2005
IEEE
In 1998, Blaze, Bleumer, and Strauss proposed an application called atomic proxy re-encryption, in which a semi-trusted proxy converts a ciphertext for Alice into a ciphertext for...
202
click to vote
CMG
2004
15 years 8 months ago
2004
Grid computing promises to become the future computing paradigm for enterprise application after having shown to be a quite effective computing paradigm for resource-intensive sci...