Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015170214> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2015170214 endingPage "253" @default.
- W2015170214 startingPage "223" @default.
- W2015170214 abstract "We propose a formal, power aware refinement of systems. The proposed approach lays its foundation to the traditional refinement calculus of Action Systems and its direct extension, time wise refinement method. The adaptation provides well-founded mathematical basis for the systems modeled with the Timed Action Systems formalism. In the refinement of an abstract system into more concrete one a designer must that show conditions of both functional and temporal properties, and furthermore, power related issues are satisfied." @default.
- W2015170214 created "2016-06-24" @default.
- W2015170214 creator A5030110383 @default.
- W2015170214 creator A5031850966 @default.
- W2015170214 creator A5075314597 @default.
- W2015170214 date "2008-03-01" @default.
- W2015170214 modified "2023-10-15" @default.
- W2015170214 title "Power Aware System Refinement" @default.
- W2015170214 cites W1489503486 @default.
- W2015170214 cites W1511826042 @default.
- W2015170214 cites W1527137186 @default.
- W2015170214 cites W1527838707 @default.
- W2015170214 cites W1541118615 @default.
- W2015170214 cites W1544623790 @default.
- W2015170214 cites W1579645056 @default.
- W2015170214 cites W1604670580 @default.
- W2015170214 cites W1979082185 @default.
- W2015170214 cites W1994143452 @default.
- W2015170214 cites W2037704142 @default.
- W2015170214 cites W2048698822 @default.
- W2015170214 cites W2080267935 @default.
- W2015170214 cites W2103953153 @default.
- W2015170214 cites W2108016168 @default.
- W2015170214 cites W2110134128 @default.
- W2015170214 cites W2147196536 @default.
- W2015170214 cites W2151793720 @default.
- W2015170214 cites W2534064658 @default.
- W2015170214 cites W3004540582 @default.
- W2015170214 cites W3145128584 @default.
- W2015170214 cites W301824129 @default.
- W2015170214 doi "https://doi.org/10.1016/j.entcs.2008.02.022" @default.
- W2015170214 hasPublicationYear "2008" @default.
- W2015170214 type Work @default.
- W2015170214 sameAs 2015170214 @default.
- W2015170214 citedByCount "2" @default.
- W2015170214 countsByYear W20151702142012 @default.
- W2015170214 crossrefType "journal-article" @default.
- W2015170214 hasAuthorship W2015170214A5030110383 @default.
- W2015170214 hasAuthorship W2015170214A5031850966 @default.
- W2015170214 hasAuthorship W2015170214A5075314597 @default.
- W2015170214 hasBestOaLocation W20151702141 @default.
- W2015170214 hasConcept C111498074 @default.
- W2015170214 hasConcept C120665830 @default.
- W2015170214 hasConcept C121332964 @default.
- W2015170214 hasConcept C139807058 @default.
- W2015170214 hasConcept C142362112 @default.
- W2015170214 hasConcept C14331664 @default.
- W2015170214 hasConcept C153349607 @default.
- W2015170214 hasConcept C163258240 @default.
- W2015170214 hasConcept C195818886 @default.
- W2015170214 hasConcept C199360897 @default.
- W2015170214 hasConcept C2778029271 @default.
- W2015170214 hasConcept C2780791683 @default.
- W2015170214 hasConcept C41008148 @default.
- W2015170214 hasConcept C558565934 @default.
- W2015170214 hasConcept C62520636 @default.
- W2015170214 hasConcept C73301696 @default.
- W2015170214 hasConcept C80444323 @default.
- W2015170214 hasConcept C89227174 @default.
- W2015170214 hasConcept C90483712 @default.
- W2015170214 hasConceptScore W2015170214C111498074 @default.
- W2015170214 hasConceptScore W2015170214C120665830 @default.
- W2015170214 hasConceptScore W2015170214C121332964 @default.
- W2015170214 hasConceptScore W2015170214C139807058 @default.
- W2015170214 hasConceptScore W2015170214C142362112 @default.
- W2015170214 hasConceptScore W2015170214C14331664 @default.
- W2015170214 hasConceptScore W2015170214C153349607 @default.
- W2015170214 hasConceptScore W2015170214C163258240 @default.
- W2015170214 hasConceptScore W2015170214C195818886 @default.
- W2015170214 hasConceptScore W2015170214C199360897 @default.
- W2015170214 hasConceptScore W2015170214C2778029271 @default.
- W2015170214 hasConceptScore W2015170214C2780791683 @default.
- W2015170214 hasConceptScore W2015170214C41008148 @default.
- W2015170214 hasConceptScore W2015170214C558565934 @default.
- W2015170214 hasConceptScore W2015170214C62520636 @default.
- W2015170214 hasConceptScore W2015170214C73301696 @default.
- W2015170214 hasConceptScore W2015170214C80444323 @default.
- W2015170214 hasConceptScore W2015170214C89227174 @default.
- W2015170214 hasConceptScore W2015170214C90483712 @default.
- W2015170214 hasLocation W20151702141 @default.
- W2015170214 hasOpenAccess W2015170214 @default.
- W2015170214 hasPrimaryLocation W20151702141 @default.
- W2015170214 hasRelatedWork W1679944736 @default.
- W2015170214 hasRelatedWork W2015170214 @default.
- W2015170214 hasRelatedWork W2062774982 @default.
- W2015170214 hasRelatedWork W2108597517 @default.
- W2015170214 hasRelatedWork W2114740726 @default.
- W2015170214 hasRelatedWork W2121367871 @default.
- W2015170214 hasRelatedWork W2139930485 @default.
- W2015170214 hasRelatedWork W2167266994 @default.
- W2015170214 hasRelatedWork W3104224731 @default.
- W2015170214 hasRelatedWork W3163451138 @default.
- W2015170214 hasVolume "201" @default.
- W2015170214 isParatext "false" @default.
- W2015170214 isRetracted "false" @default.
- W2015170214 magId "2015170214" @default.
- W2015170214 workType "article" @default.