Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497414142> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1497414142 abstract "Distributed computing is becoming ubiquitous in recent years in many areas, especially thescientific and industrial ones, where the processing power - even that of supercomputers - neverseems to be enough. Grid systems were born out of necessity, and had to grow quickly tomeet requirements which evolved over time, becoming today’s complex systems. Even thesimplest distributed system nowadays is expected to have some basic functionalities, such asresources and execution management, security and optimization features, data control, etc. Thecomplexity of Grid applications is also accentuated by their distributed nature, making themsome of the most elaborate systems to date. It is often too easy that these intricate systemshappen to fall in some kind of failure, it being a software bug, or plain simple human error; andif such a failure occurs, it is not always the case that the system can recover from it, possiblymeaning hours of wasted computational power.In this thesis, some of the problems which are at the core of the development and mainte-nance of Grid software applications are addressed by introducing novel and solid approachesto their solution. The difficulty of Grid systems to deal with unforeseen and unexpected cir-cumstances resulting from dynamic reconfiguration can be identified. Such problems are oftenrelated to the fact that Grid applications are large, distributed and prone to resource failures.This research has produced a methodology for the solution of this problem by analysing thestructure of distributed systems and their reliance on the environment which they sit upon, oftenoverlooked when dealing with these types of scenarios. It is concluded that the way that Grid applications interact with the infrastructure is not sufficiently addressed and a novel approachis developed in which formal verification methods are integrated with distributed applicationsdevelopment and deployment in a way that includes the environment. This approach allows forreconfiguration scenarios in distributed applications to proceed in a safe and controlled way, asdemonstrated by the development of a prototype application." @default.
- W1497414142 created "2016-06-24" @default.
- W1497414142 creator A5088467971 @default.
- W1497414142 date "2010-01-01" @default.
- W1497414142 modified "2023-09-27" @default.
- W1497414142 title "Integrating formal reasoning into component-based approach to reconfigurable distributed systems" @default.
- W1497414142 hasPublicationYear "2010" @default.
- W1497414142 type Work @default.
- W1497414142 sameAs 1497414142 @default.
- W1497414142 citedByCount "0" @default.
- W1497414142 crossrefType "dissertation" @default.
- W1497414142 hasAuthorship W1497414142A5088467971 @default.
- W1497414142 hasConcept C111472728 @default.
- W1497414142 hasConcept C115903868 @default.
- W1497414142 hasConcept C119701452 @default.
- W1497414142 hasConcept C120314980 @default.
- W1497414142 hasConcept C121332964 @default.
- W1497414142 hasConcept C138885662 @default.
- W1497414142 hasConcept C149635348 @default.
- W1497414142 hasConcept C168167062 @default.
- W1497414142 hasConcept C187691185 @default.
- W1497414142 hasConcept C2524010 @default.
- W1497414142 hasConcept C2780586882 @default.
- W1497414142 hasConcept C33923547 @default.
- W1497414142 hasConcept C41008148 @default.
- W1497414142 hasConcept C97355855 @default.
- W1497414142 hasConceptScore W1497414142C111472728 @default.
- W1497414142 hasConceptScore W1497414142C115903868 @default.
- W1497414142 hasConceptScore W1497414142C119701452 @default.
- W1497414142 hasConceptScore W1497414142C120314980 @default.
- W1497414142 hasConceptScore W1497414142C121332964 @default.
- W1497414142 hasConceptScore W1497414142C138885662 @default.
- W1497414142 hasConceptScore W1497414142C149635348 @default.
- W1497414142 hasConceptScore W1497414142C168167062 @default.
- W1497414142 hasConceptScore W1497414142C187691185 @default.
- W1497414142 hasConceptScore W1497414142C2524010 @default.
- W1497414142 hasConceptScore W1497414142C2780586882 @default.
- W1497414142 hasConceptScore W1497414142C33923547 @default.
- W1497414142 hasConceptScore W1497414142C41008148 @default.
- W1497414142 hasConceptScore W1497414142C97355855 @default.
- W1497414142 hasLocation W14974141421 @default.
- W1497414142 hasOpenAccess W1497414142 @default.
- W1497414142 hasPrimaryLocation W14974141421 @default.
- W1497414142 hasRelatedWork W149936107 @default.
- W1497414142 hasRelatedWork W1564998426 @default.
- W1497414142 hasRelatedWork W1600200312 @default.
- W1497414142 hasRelatedWork W1618113455 @default.
- W1497414142 hasRelatedWork W2019553415 @default.
- W1497414142 hasRelatedWork W2039161996 @default.
- W1497414142 hasRelatedWork W2078488837 @default.
- W1497414142 hasRelatedWork W2098667330 @default.
- W1497414142 hasRelatedWork W2171459081 @default.
- W1497414142 hasRelatedWork W2182052124 @default.
- W1497414142 hasRelatedWork W2325465776 @default.
- W1497414142 hasRelatedWork W2476304629 @default.
- W1497414142 hasRelatedWork W2501071283 @default.
- W1497414142 hasRelatedWork W2540563656 @default.
- W1497414142 hasRelatedWork W2761134733 @default.
- W1497414142 hasRelatedWork W2913361757 @default.
- W1497414142 hasRelatedWork W2985125481 @default.
- W1497414142 hasRelatedWork W303413876 @default.
- W1497414142 hasRelatedWork W35764257 @default.
- W1497414142 hasRelatedWork W2098167131 @default.
- W1497414142 isParatext "false" @default.
- W1497414142 isRetracted "false" @default.
- W1497414142 magId "1497414142" @default.
- W1497414142 workType "dissertation" @default.