Matches in SemOpenAlex for { <https://semopenalex.org/work/W1499541158> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1499541158 abstract "This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources (ACSR) has been extended to ACSR with Value-passing (ACSR-VP) in order to model the systems that pass values bet been processes and hange the priorities of events and timed actions dynamically. The analysis is performed by means of bisimulation or reachability analysis. The result of the analysis is predicate equations. A solution to them yields the values of the parameters that satisfy the design specification. We briefly describe the proposed framework in which this approach is fully automated and identify future work." @default.
- W1499541158 created "2016-06-24" @default.
- W1499541158 creator A5025448979 @default.
- W1499541158 creator A5030456600 @default.
- W1499541158 creator A5067272348 @default.
- W1499541158 date "2000-01-01" @default.
- W1499541158 modified "2023-09-26" @default.
- W1499541158 title "A Framework for Embedded Real-time System Design" @default.
- W1499541158 cites W1563637091 @default.
- W1499541158 cites W2132331020 @default.
- W1499541158 doi "https://doi.org/10.1007/3-540-45591-4_101" @default.
- W1499541158 hasPublicationYear "2000" @default.
- W1499541158 type Work @default.
- W1499541158 sameAs 1499541158 @default.
- W1499541158 citedByCount "0" @default.
- W1499541158 crossrefType "book-chapter" @default.
- W1499541158 hasAuthorship W1499541158A5025448979 @default.
- W1499541158 hasAuthorship W1499541158A5030456600 @default.
- W1499541158 hasAuthorship W1499541158A5067272348 @default.
- W1499541158 hasConcept C105795698 @default.
- W1499541158 hasConcept C11413529 @default.
- W1499541158 hasConcept C117251300 @default.
- W1499541158 hasConcept C127413603 @default.
- W1499541158 hasConcept C135315306 @default.
- W1499541158 hasConcept C136119220 @default.
- W1499541158 hasConcept C136643341 @default.
- W1499541158 hasConcept C140146324 @default.
- W1499541158 hasConcept C161771561 @default.
- W1499541158 hasConcept C199360897 @default.
- W1499541158 hasConcept C202444582 @default.
- W1499541158 hasConcept C21880701 @default.
- W1499541158 hasConcept C2994520618 @default.
- W1499541158 hasConcept C33923547 @default.
- W1499541158 hasConcept C41008148 @default.
- W1499541158 hasConcept C80444323 @default.
- W1499541158 hasConceptScore W1499541158C105795698 @default.
- W1499541158 hasConceptScore W1499541158C11413529 @default.
- W1499541158 hasConceptScore W1499541158C117251300 @default.
- W1499541158 hasConceptScore W1499541158C127413603 @default.
- W1499541158 hasConceptScore W1499541158C135315306 @default.
- W1499541158 hasConceptScore W1499541158C136119220 @default.
- W1499541158 hasConceptScore W1499541158C136643341 @default.
- W1499541158 hasConceptScore W1499541158C140146324 @default.
- W1499541158 hasConceptScore W1499541158C161771561 @default.
- W1499541158 hasConceptScore W1499541158C199360897 @default.
- W1499541158 hasConceptScore W1499541158C202444582 @default.
- W1499541158 hasConceptScore W1499541158C21880701 @default.
- W1499541158 hasConceptScore W1499541158C2994520618 @default.
- W1499541158 hasConceptScore W1499541158C33923547 @default.
- W1499541158 hasConceptScore W1499541158C41008148 @default.
- W1499541158 hasConceptScore W1499541158C80444323 @default.
- W1499541158 hasLocation W14995411581 @default.
- W1499541158 hasOpenAccess W1499541158 @default.
- W1499541158 hasPrimaryLocation W14995411581 @default.
- W1499541158 hasRelatedWork W114096090 @default.
- W1499541158 hasRelatedWork W128966792 @default.
- W1499541158 hasRelatedWork W1511004497 @default.
- W1499541158 hasRelatedWork W1517901537 @default.
- W1499541158 hasRelatedWork W1556719327 @default.
- W1499541158 hasRelatedWork W1590085451 @default.
- W1499541158 hasRelatedWork W1855459128 @default.
- W1499541158 hasRelatedWork W1967867118 @default.
- W1499541158 hasRelatedWork W2034486676 @default.
- W1499541158 hasRelatedWork W2103225125 @default.
- W1499541158 hasRelatedWork W2112461649 @default.
- W1499541158 hasRelatedWork W2131925080 @default.
- W1499541158 hasRelatedWork W2133050925 @default.
- W1499541158 hasRelatedWork W2134658184 @default.
- W1499541158 hasRelatedWork W2146508914 @default.
- W1499541158 hasRelatedWork W2173007823 @default.
- W1499541158 hasRelatedWork W2296753638 @default.
- W1499541158 hasRelatedWork W2328713001 @default.
- W1499541158 hasRelatedWork W2402381551 @default.
- W1499541158 hasRelatedWork W2463790733 @default.
- W1499541158 isParatext "false" @default.
- W1499541158 isRetracted "false" @default.
- W1499541158 magId "1499541158" @default.
- W1499541158 workType "book-chapter" @default.