Sciweavers

3638 search results - page 423 / 728
» HEP@Home - A distributed computing system based on BOINC
Sort
View
CONCUR
1999
Springer
15 years 11 months ago
Validating Firewalls in Mobile Ambients
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
Flemming Nielson, Hanne Riis Nielson, René ...
IPPS
1998
IEEE
15 years 11 months ago
Optimal Communication Performance on Fast Ethernet with GAMMA
Abstract. The current prototype of the Genoa Active Message MAchine GAMMA is a low-overhead, Active Messages-based inter-process communication layer implemented mainly at kernel le...
Giuseppe Ciaccio
ESCIENCE
2006
IEEE
15 years 10 months ago
Grid Enabled Problem Solving Environments for Text Categorization
As the large volume of resources involved and the power of computational Grids increased, there is a corresponding and urgent need for employ the grid technologies into problem so...
Jian Mei, Wu Zhang, Suge Wang
ESCIENCE
2006
IEEE
15 years 10 months ago
A Unified Model of Batch and Interactive Scientific Workflow and Its Implementation Using Windows Workflow
Workflow is a key technology for eScience. It enables scientific tools to be composed and the resulting workflows to be managed. Workflow and most other computing tools typically ...
Asbjørn Rygg, Jiro Sumitomo, Paul Roe
CONCUR
2010
Springer
15 years 6 months ago
Conditional Automata: A Tool for Safe Removal of Negligible Events
Abstract. Polynomially accurate simulations [19] are relations for Probabilistic Automata that require transitions to be matched up to negligible sets provided that computation len...
Roberto Segala, Andrea Turrini