Sciweavers

2658 search results - page 72 / 532
» Autonomic Computing: An Overview
Sort
View
CIE
2010
Springer
15 years 8 months ago
What Is the Problem with Proof Nets for Classical Logic?
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatis...
Lutz Straßburger
SAC
1998
ACM
15 years 8 months ago
Coordinating autonomous entities
This paper describes STL, a new coordination model and corresponding language. STL's power and expressiveness are shown through a preliminary distributed implementation of a ...
Oliver Krone, Fabrice Chantemargue, Thierry Dagaef...
IPPS
2005
IEEE
15 years 9 months ago
GUARD: Gossip Used for Autonomous Resource Detection
A growing trend in the development and deployment of grid computing systems is decentralization. Decentralizing these systems helps make them more scalable and robust, but poses s...
Sagnik Nandy, Larry Carter, Jeanne Ferrante
123
Voted
ICAC
2005
IEEE
15 years 9 months ago
A Mass Storage System Administrator Autonomic Assistant
System administrators of today’s high performance computing systems are generally responsible for managing the large amounts of data traffic and archival querying that mass stor...
Milton Halem, Randy Schauer
126
Voted
IEEEAMS
2003
IEEE
15 years 9 months ago
Kinesthetics eXtreme: An External Infrastructure for Monitoring Distributed Legacy Systems
Autonomic computing – self-configuring, self-healing, self-optimizing applications, systems and networks – is widely believed to be a promising solution to everincreasing syst...
Gail E. Kaiser, Janak J. Parekh, Philip Gross, Giu...