Matches in SemOpenAlex for { <https://semopenalex.org/work/W2510363479> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2510363479 abstract "In the past few years dynamic and reconfigurable systems have evolved and new strategy and paradigms for the development of applications have been devised. In this thesis we study mobile code based systems focusing on the importance of formalization and investigation of the potential of code mobility. Mobile code paradigms have been used in different systems, however, as most of these are Java based, the potential of code mobility are some-how lost behind the Java language capabilities, and design choices related to mobility have been conditioned by implementation choices. In this thesis we reason on code mobility systems at the design level in order to investigate novel powerful approaches. This thesis is composed of different parts. We first introduce a coordination based language and a model checker to reason on formalization of mobile code based systems with automatic analysis. Properties of mobile agents, of their interaction and behavior may be formally expressed and verified against the system specification. Then,in order to express code mobility potential and to formalize the basic constructs for code migration, we describe a formal language for the specification of very fine-grained mobility. Every line of code, and every variable declaration can be mobile, giving a very high flexibility in the range of application. A prototype of this model implemented in Java is also presented to validate the implementability of the model. Finally, we show a possible incarnation of the fine-grained mobility approach based on XML. The approach allows XML documents to be updated cutting, extending, or replacing parts of the tree structure of the document. We exploit this idea to incrementally update remote code. The approach can be used in different domains; we describe possible applications in graphic user interface management, document consistency checking and management of application on thin clients like personal digital assistants (PDAs)." @default.
- W2510363479 created "2016-09-16" @default.
- W2510363479 creator A5010623957 @default.
- W2510363479 date "2001-01-01" @default.
- W2510363479 modified "2023-09-28" @default.
- W2510363479 title "Formalization, Analysis and Prototyping of Mobile Code Systems (Ph.D. Thesis)" @default.
- W2510363479 hasPublicationYear "2001" @default.
- W2510363479 type Work @default.
- W2510363479 sameAs 2510363479 @default.
- W2510363479 citedByCount "0" @default.
- W2510363479 crossrefType "journal-article" @default.
- W2510363479 hasAuthorship W2510363479A5010623957 @default.
- W2510363479 hasConcept C105795698 @default.
- W2510363479 hasConcept C111919701 @default.
- W2510363479 hasConcept C133162039 @default.
- W2510363479 hasConcept C177264268 @default.
- W2510363479 hasConcept C199360897 @default.
- W2510363479 hasConcept C26517878 @default.
- W2510363479 hasConcept C2776760102 @default.
- W2510363479 hasConcept C2780598303 @default.
- W2510363479 hasConcept C33923547 @default.
- W2510363479 hasConcept C41008148 @default.
- W2510363479 hasConcept C548217200 @default.
- W2510363479 hasConcept C8797682 @default.
- W2510363479 hasConceptScore W2510363479C105795698 @default.
- W2510363479 hasConceptScore W2510363479C111919701 @default.
- W2510363479 hasConceptScore W2510363479C133162039 @default.
- W2510363479 hasConceptScore W2510363479C177264268 @default.
- W2510363479 hasConceptScore W2510363479C199360897 @default.
- W2510363479 hasConceptScore W2510363479C26517878 @default.
- W2510363479 hasConceptScore W2510363479C2776760102 @default.
- W2510363479 hasConceptScore W2510363479C2780598303 @default.
- W2510363479 hasConceptScore W2510363479C33923547 @default.
- W2510363479 hasConceptScore W2510363479C41008148 @default.
- W2510363479 hasConceptScore W2510363479C548217200 @default.
- W2510363479 hasConceptScore W2510363479C8797682 @default.
- W2510363479 hasLocation W25103634791 @default.
- W2510363479 hasOpenAccess W2510363479 @default.
- W2510363479 hasPrimaryLocation W25103634791 @default.
- W2510363479 hasRelatedWork W112032180 @default.
- W2510363479 hasRelatedWork W124934045 @default.
- W2510363479 hasRelatedWork W1513173952 @default.
- W2510363479 hasRelatedWork W1581829162 @default.
- W2510363479 hasRelatedWork W1989726222 @default.
- W2510363479 hasRelatedWork W2018428124 @default.
- W2510363479 hasRelatedWork W2036762551 @default.
- W2510363479 hasRelatedWork W2069550879 @default.
- W2510363479 hasRelatedWork W2118946099 @default.
- W2510363479 hasRelatedWork W2168226108 @default.
- W2510363479 hasRelatedWork W2171044556 @default.
- W2510363479 hasRelatedWork W2548847825 @default.
- W2510363479 hasRelatedWork W2566876462 @default.
- W2510363479 hasRelatedWork W2744316691 @default.
- W2510363479 hasRelatedWork W2992255630 @default.
- W2510363479 hasRelatedWork W3102394008 @default.
- W2510363479 hasRelatedWork W3135905966 @default.
- W2510363479 hasRelatedWork W3150995661 @default.
- W2510363479 hasRelatedWork W345821481 @default.
- W2510363479 hasRelatedWork W2150208046 @default.
- W2510363479 isParatext "false" @default.
- W2510363479 isRetracted "false" @default.
- W2510363479 magId "2510363479" @default.
- W2510363479 workType "article" @default.