Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040557180> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2040557180 abstract "Distribution and dynamics are the main characteristics of resource allocation problem. Despite the variety of approaches and models proposed for the problem, a systematic formalization and a general solution strategy are missing. This paper takes a step towards this goal by proposing a categorical formalization of resource allocation, which not only represents both distributed and dynamic features, but also formally prove the properties of symmetry, safety(non-deadlock), liveness(non-starvation) and concurrency. The application to the wireless sensor networks demonstrates the practicability of our formal model and emphasizes the strengths of category theory -- its simple theory, abstract mechanism, diagrammatical representation and its expressive power in representing and reasoning many concepts of computer science." @default.
- W2040557180 created "2016-06-24" @default.
- W2040557180 creator A5015652657 @default.
- W2040557180 creator A5015943195 @default.
- W2040557180 creator A5017708790 @default.
- W2040557180 creator A5046818119 @default.
- W2040557180 creator A5054653331 @default.
- W2040557180 date "2013-12-01" @default.
- W2040557180 modified "2023-09-25" @default.
- W2040557180 title "Formalization of Distributed and Dynamic Resources Allocation Using Category Theory" @default.
- W2040557180 cites W1479776502 @default.
- W2040557180 cites W1517437198 @default.
- W2040557180 cites W1531285545 @default.
- W2040557180 cites W1533008268 @default.
- W2040557180 cites W1536401622 @default.
- W2040557180 cites W1547463762 @default.
- W2040557180 cites W1554884006 @default.
- W2040557180 cites W1571102086 @default.
- W2040557180 cites W1614194970 @default.
- W2040557180 cites W1857327297 @default.
- W2040557180 cites W1985091167 @default.
- W2040557180 cites W2005380195 @default.
- W2040557180 cites W2024873396 @default.
- W2040557180 cites W2026552167 @default.
- W2040557180 cites W2037729105 @default.
- W2040557180 cites W2054830285 @default.
- W2040557180 cites W2063434813 @default.
- W2040557180 cites W2068599721 @default.
- W2040557180 cites W2095224199 @default.
- W2040557180 cites W2111234504 @default.
- W2040557180 cites W2121504919 @default.
- W2040557180 cites W2151640636 @default.
- W2040557180 cites W2158356309 @default.
- W2040557180 cites W2162034401 @default.
- W2040557180 cites W2171091552 @default.
- W2040557180 cites W2172112891 @default.
- W2040557180 cites W2395453727 @default.
- W2040557180 cites W2606499858 @default.
- W2040557180 doi "https://doi.org/10.4304/jsw.8.12.3088-3095" @default.
- W2040557180 hasPublicationYear "2013" @default.
- W2040557180 type Work @default.
- W2040557180 sameAs 2040557180 @default.
- W2040557180 citedByCount "0" @default.
- W2040557180 crossrefType "journal-article" @default.
- W2040557180 hasAuthorship W2040557180A5015652657 @default.
- W2040557180 hasAuthorship W2040557180A5015943195 @default.
- W2040557180 hasAuthorship W2040557180A5017708790 @default.
- W2040557180 hasAuthorship W2040557180A5046818119 @default.
- W2040557180 hasAuthorship W2040557180A5054653331 @default.
- W2040557180 hasConcept C120314980 @default.
- W2040557180 hasConcept C41008148 @default.
- W2040557180 hasConceptScore W2040557180C120314980 @default.
- W2040557180 hasConceptScore W2040557180C41008148 @default.
- W2040557180 hasIssue "12" @default.
- W2040557180 hasLocation W20405571801 @default.
- W2040557180 hasOpenAccess W2040557180 @default.
- W2040557180 hasPrimaryLocation W20405571801 @default.
- W2040557180 hasRelatedWork W1485627940 @default.
- W2040557180 hasRelatedWork W1587227328 @default.
- W2040557180 hasRelatedWork W1596201972 @default.
- W2040557180 hasRelatedWork W1880774266 @default.
- W2040557180 hasRelatedWork W1986253068 @default.
- W2040557180 hasRelatedWork W2028061998 @default.
- W2040557180 hasRelatedWork W2152433827 @default.
- W2040557180 hasRelatedWork W2160425906 @default.
- W2040557180 hasRelatedWork W2385146268 @default.
- W2040557180 hasRelatedWork W2998813341 @default.
- W2040557180 hasVolume "8" @default.
- W2040557180 isParatext "false" @default.
- W2040557180 isRetracted "false" @default.
- W2040557180 magId "2040557180" @default.
- W2040557180 workType "article" @default.