Matches in SemOpenAlex for { <https://semopenalex.org/work/W2607111984> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2607111984 abstract "This paper describes how the safe mobile code technology can be integrated into the Intelligent Space environment. In the Intelligent Space, several Distributed Intelligent Network Devices communicate and share their information about a human environment. In this environment mobile robots can be controlled with mobile code technology. The mobile code is a program-component obtained from a remote system, transferred across a network and dynamically downloaded and executed on the robots. This code is created, verified, stored and transmitted to the robot using the CPPCC architecture, where properties and their proofs also attached to the code. The receiver can verify the proofs and it can decide whether to use or to refuse the received mobile component. Information about the robot's environment is also sent to the robot from the Intelligent Space. Robots contain explicit and formally expressed security requirements. Explicit and formal properties of the mobile code are attached to the mobile code. Then a formal verification system can verify the mobile code properties correspondence against the robots requirements. The robot refuses to execute those mobile code tasks violating it's requirements." @default.
- W2607111984 created "2017-04-28" @default.
- W2607111984 creator A5033905061 @default.
- W2607111984 creator A5038664472 @default.
- W2607111984 creator A5045790971 @default.
- W2607111984 creator A5053867332 @default.
- W2607111984 creator A5073882154 @default.
- W2607111984 date "2008-12-01" @default.
- W2607111984 modified "2023-10-01" @default.
- W2607111984 title "Safe robot control in the intelligent space using mobile code technology" @default.
- W2607111984 cites W1917698144 @default.
- W2607111984 cites W2034711041 @default.
- W2607111984 cites W2048713627 @default.
- W2607111984 cites W2107641944 @default.
- W2607111984 cites W2137323501 @default.
- W2607111984 cites W2146554151 @default.
- W2607111984 cites W2156969735 @default.
- W2607111984 cites W2262611205 @default.
- W2607111984 cites W2293400264 @default.
- W2607111984 cites W2336731292 @default.
- W2607111984 cites W2288881689 @default.
- W2607111984 cites W2990895879 @default.
- W2607111984 cites W3185910042 @default.
- W2607111984 hasPublicationYear "2008" @default.
- W2607111984 type Work @default.
- W2607111984 sameAs 2607111984 @default.
- W2607111984 citedByCount "0" @default.
- W2607111984 crossrefType "journal-article" @default.
- W2607111984 hasAuthorship W2607111984A5033905061 @default.
- W2607111984 hasAuthorship W2607111984A5038664472 @default.
- W2607111984 hasAuthorship W2607111984A5045790971 @default.
- W2607111984 hasAuthorship W2607111984A5053867332 @default.
- W2607111984 hasAuthorship W2607111984A5073882154 @default.
- W2607111984 hasConcept C108710211 @default.
- W2607111984 hasConcept C120314980 @default.
- W2607111984 hasConcept C121332964 @default.
- W2607111984 hasConcept C149635348 @default.
- W2607111984 hasConcept C154945302 @default.
- W2607111984 hasConcept C168167062 @default.
- W2607111984 hasConcept C177264268 @default.
- W2607111984 hasConcept C199360897 @default.
- W2607111984 hasConcept C19966478 @default.
- W2607111984 hasConcept C2524010 @default.
- W2607111984 hasConcept C2776760102 @default.
- W2607111984 hasConcept C33923547 @default.
- W2607111984 hasConcept C41008148 @default.
- W2607111984 hasConcept C84875433 @default.
- W2607111984 hasConcept C90509273 @default.
- W2607111984 hasConcept C97355855 @default.
- W2607111984 hasConceptScore W2607111984C108710211 @default.
- W2607111984 hasConceptScore W2607111984C120314980 @default.
- W2607111984 hasConceptScore W2607111984C121332964 @default.
- W2607111984 hasConceptScore W2607111984C149635348 @default.
- W2607111984 hasConceptScore W2607111984C154945302 @default.
- W2607111984 hasConceptScore W2607111984C168167062 @default.
- W2607111984 hasConceptScore W2607111984C177264268 @default.
- W2607111984 hasConceptScore W2607111984C199360897 @default.
- W2607111984 hasConceptScore W2607111984C19966478 @default.
- W2607111984 hasConceptScore W2607111984C2524010 @default.
- W2607111984 hasConceptScore W2607111984C2776760102 @default.
- W2607111984 hasConceptScore W2607111984C33923547 @default.
- W2607111984 hasConceptScore W2607111984C41008148 @default.
- W2607111984 hasConceptScore W2607111984C84875433 @default.
- W2607111984 hasConceptScore W2607111984C90509273 @default.
- W2607111984 hasConceptScore W2607111984C97355855 @default.
- W2607111984 hasLocation W26071119841 @default.
- W2607111984 hasOpenAccess W2607111984 @default.
- W2607111984 hasPrimaryLocation W26071119841 @default.
- W2607111984 hasRelatedWork W133251730 @default.
- W2607111984 hasRelatedWork W2133246165 @default.
- W2607111984 hasRelatedWork W2149701871 @default.
- W2607111984 hasRelatedWork W2253725135 @default.
- W2607111984 hasRelatedWork W2385586318 @default.
- W2607111984 hasRelatedWork W2390601669 @default.
- W2607111984 hasRelatedWork W2392563996 @default.
- W2607111984 hasRelatedWork W2408049324 @default.
- W2607111984 hasRelatedWork W2490489940 @default.
- W2607111984 hasRelatedWork W2582540343 @default.
- W2607111984 hasRelatedWork W2770350055 @default.
- W2607111984 hasRelatedWork W2889134460 @default.
- W2607111984 hasRelatedWork W54453804 @default.
- W2607111984 hasRelatedWork W89923732 @default.
- W2607111984 hasRelatedWork W2182114106 @default.
- W2607111984 hasRelatedWork W2499635659 @default.
- W2607111984 hasRelatedWork W2755513887 @default.
- W2607111984 hasRelatedWork W2820348874 @default.
- W2607111984 hasRelatedWork W2840499269 @default.
- W2607111984 hasRelatedWork W3067551161 @default.
- W2607111984 isParatext "false" @default.
- W2607111984 isRetracted "false" @default.
- W2607111984 magId "2607111984" @default.
- W2607111984 workType "article" @default.