FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569085112> ?p ?o ?g. }

• W1569085112 endingPage "66" @default.
• W1569085112 startingPage "52" @default.
• W1569085112 abstract "Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under this flexible design assumption, the synthesis problem remains highly intractable. One practical method for designing controllers is based on checking knowledge properties upon which the processes can make their decisions whether to allow or block transitions. A major deficiency of this synthesis method lies in calculating the knowledge based on the system that we want to control, and not on the resulted system. The original system has less knowledge, and as a result, we may introduce far more synchronization than needed. In this paper we show techniques to reduce this overhead." @default.
• W1569085112 created "2016-06-24" @default.
• W1569085112 creator A5020750660 @default.
• W1569085112 creator A5061223044 @default.
• W1569085112 creator A5069785845 @default.
• W1569085112 creator A5074935721 @default.
• W1569085112 creator A5077201085 @default.
• W1569085112 date "2010-01-01" @default.
• W1569085112 modified "2023-10-13" @default.
• W1569085112 title "Methods for Knowledge Based Controlling of Distributed Systems" @default.
• W1569085112 cites W1516826584 @default.
• W1569085112 cites W1593428110 @default.
• W1569085112 cites W1979349468 @default.
• W1569085112 cites W1997422892 @default.
• W1569085112 cites W2002128397 @default.
• W1569085112 cites W2045478049 @default.
• W1569085112 cites W2053991631 @default.
• W1569085112 cites W2054351881 @default.
• W1569085112 cites W2073689993 @default.
• W1569085112 cites W2108990199 @default.
• W1569085112 cites W2156444206 @default.
• W1569085112 cites W2157364367 @default.
• W1569085112 cites W2171110406 @default.
• W1569085112 cites W4211008702 @default.
• W1569085112 cites W750017119 @default.
• W1569085112 doi "https://doi.org/10.1007/978-3-642-15643-4_6" @default.
• W1569085112 hasPublicationYear "2010" @default.
• W1569085112 type Work @default.
• W1569085112 sameAs 1569085112 @default.
• W1569085112 citedByCount "20" @default.
• W1569085112 countsByYear W15690851122012 @default.
• W1569085112 countsByYear W15690851122013 @default.
• W1569085112 countsByYear W15690851122014 @default.
• W1569085112 countsByYear W15690851122015 @default.
• W1569085112 countsByYear W15690851122016 @default.
• W1569085112 countsByYear W15690851122020 @default.
• W1569085112 crossrefType "book-chapter" @default.
• W1569085112 hasAuthorship W1569085112A5020750660 @default.
• W1569085112 hasAuthorship W1569085112A5061223044 @default.
• W1569085112 hasAuthorship W1569085112A5069785845 @default.
• W1569085112 hasAuthorship W1569085112A5074935721 @default.
• W1569085112 hasAuthorship W1569085112A5077201085 @default.
• W1569085112 hasBestOaLocation W15690851122 @default.
• W1569085112 hasConcept C120314980 @default.
• W1569085112 hasConcept C127162648 @default.
• W1569085112 hasConcept C153269930 @default.
• W1569085112 hasConcept C190470478 @default.
• W1569085112 hasConcept C192034797 @default.
• W1569085112 hasConcept C193702766 @default.
• W1569085112 hasConcept C199360897 @default.
• W1569085112 hasConcept C2524010 @default.
• W1569085112 hasConcept C2777210771 @default.
• W1569085112 hasConcept C2778562939 @default.
• W1569085112 hasConcept C2779960059 @default.
• W1569085112 hasConcept C31258907 @default.
• W1569085112 hasConcept C33923547 @default.
• W1569085112 hasConcept C37914503 @default.
• W1569085112 hasConcept C41008148 @default.
• W1569085112 hasConcept C75949130 @default.
• W1569085112 hasConcept C80444323 @default.
• W1569085112 hasConcept C84511453 @default.
• W1569085112 hasConceptScore W1569085112C120314980 @default.
• W1569085112 hasConceptScore W1569085112C127162648 @default.
• W1569085112 hasConceptScore W1569085112C153269930 @default.
• W1569085112 hasConceptScore W1569085112C190470478 @default.
• W1569085112 hasConceptScore W1569085112C192034797 @default.
• W1569085112 hasConceptScore W1569085112C193702766 @default.
• W1569085112 hasConceptScore W1569085112C199360897 @default.
• W1569085112 hasConceptScore W1569085112C2524010 @default.
• W1569085112 hasConceptScore W1569085112C2777210771 @default.
• W1569085112 hasConceptScore W1569085112C2778562939 @default.
• W1569085112 hasConceptScore W1569085112C2779960059 @default.
• W1569085112 hasConceptScore W1569085112C31258907 @default.
• W1569085112 hasConceptScore W1569085112C33923547 @default.
• W1569085112 hasConceptScore W1569085112C37914503 @default.
• W1569085112 hasConceptScore W1569085112C41008148 @default.
• W1569085112 hasConceptScore W1569085112C75949130 @default.
• W1569085112 hasConceptScore W1569085112C80444323 @default.
• W1569085112 hasConceptScore W1569085112C84511453 @default.
• W1569085112 hasLocation W15690851121 @default.
• W1569085112 hasLocation W15690851122 @default.
• W1569085112 hasLocation W15690851123 @default.
• W1569085112 hasLocation W15690851124 @default.
• W1569085112 hasLocation W15690851125 @default.
• W1569085112 hasOpenAccess W1569085112 @default.
• W1569085112 hasPrimaryLocation W15690851121 @default.
• W1569085112 hasRelatedWork W129916058 @default.
• W1569085112 hasRelatedWork W1501430220 @default.
• W1569085112 hasRelatedWork W1542027783 @default.
• W1569085112 hasRelatedWork W2021891065 @default.
• W1569085112 hasRelatedWork W2119045600 @default.
• W1569085112 hasRelatedWork W2962928105 @default.
• W1569085112 hasRelatedWork W2972379433 @default.
• W1569085112 hasRelatedWork W2989332944 @default.
• W1569085112 hasRelatedWork W2583549044 @default.
• W1569085112 hasRelatedWork W2584984136 @default.
• W1569085112 isParatext "false" @default.
• W1569085112 isRetracted "false" @default.

• next