Matches in SemOpenAlex for { <https://semopenalex.org/work/W2171048047> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2171048047 abstract "A shared sense-and-respond infrastructure that is embedded into a physical environment requires considerable run-time support to facilitate the dynamic dispatch and execution of new service instances. Such an infrastructure must also be able to statically analyze new services in order to verify their safety and derive their specific resource requirements (i.e., prior to dispatch). Toward this goal we have developed a multi-dimensional type system for our pervasive sensory service composition language; this formalism extracts implicit constraints from service instances to verify an expanded notion of type safety. While our formal system is rigorous, it is light-weight and essentially transparent to a service programmer. The type-system automatically infers data types that are annotated with a vector of type specific attributes and uses these annotations to establish and verify a range of resource constraints (bounds for computation and memory usage, camera resolution requirements, etc.). In this paper we present an overview of our formal methodology, provide concrete examples of how these formalisms are used in practice (through service logic examples and derived constraint sets) and discuss the details of our implementation." @default.
- W2171048047 created "2016-06-24" @default.
- W2171048047 creator A5011272276 @default.
- W2171048047 creator A5030050875 @default.
- W2171048047 creator A5090898185 @default.
- W2171048047 date "2009-05-01" @default.
- W2171048047 modified "2023-10-16" @default.
- W2171048047 title "A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems" @default.
- W2171048047 cites W1528028732 @default.
- W2171048047 cites W1595437973 @default.
- W2171048047 cites W1988724980 @default.
- W2171048047 cites W2014389151 @default.
- W2171048047 cites W2043310309 @default.
- W2171048047 cites W2068055184 @default.
- W2171048047 cites W2069107692 @default.
- W2171048047 cites W2076285066 @default.
- W2171048047 cites W2099684856 @default.
- W2171048047 cites W2140566629 @default.
- W2171048047 cites W2171496589 @default.
- W2171048047 cites W284377782 @default.
- W2171048047 cites W3007990352 @default.
- W2171048047 cites W2520046597 @default.
- W2171048047 cites W2585180963 @default.
- W2171048047 doi "https://doi.org/10.1109/mompes.2009.5069135" @default.
- W2171048047 hasPublicationYear "2009" @default.
- W2171048047 type Work @default.
- W2171048047 sameAs 2171048047 @default.
- W2171048047 citedByCount "1" @default.
- W2171048047 countsByYear W21710480472016 @default.
- W2171048047 crossrefType "proceedings-article" @default.
- W2171048047 hasAuthorship W2171048047A5011272276 @default.
- W2171048047 hasAuthorship W2171048047A5030050875 @default.
- W2171048047 hasAuthorship W2171048047A5090898185 @default.
- W2171048047 hasBestOaLocation W21710480472 @default.
- W2171048047 hasConcept C115903868 @default.
- W2171048047 hasConcept C116253237 @default.
- W2171048047 hasConcept C120314980 @default.
- W2171048047 hasConcept C136264566 @default.
- W2171048047 hasConcept C142362112 @default.
- W2171048047 hasConcept C153349607 @default.
- W2171048047 hasConcept C162324750 @default.
- W2171048047 hasConcept C171018156 @default.
- W2171048047 hasConcept C199360897 @default.
- W2171048047 hasConcept C2524010 @default.
- W2171048047 hasConcept C2778514511 @default.
- W2171048047 hasConcept C2780378061 @default.
- W2171048047 hasConcept C33923547 @default.
- W2171048047 hasConcept C41008148 @default.
- W2171048047 hasConcept C558565934 @default.
- W2171048047 hasConcept C73301696 @default.
- W2171048047 hasConceptScore W2171048047C115903868 @default.
- W2171048047 hasConceptScore W2171048047C116253237 @default.
- W2171048047 hasConceptScore W2171048047C120314980 @default.
- W2171048047 hasConceptScore W2171048047C136264566 @default.
- W2171048047 hasConceptScore W2171048047C142362112 @default.
- W2171048047 hasConceptScore W2171048047C153349607 @default.
- W2171048047 hasConceptScore W2171048047C162324750 @default.
- W2171048047 hasConceptScore W2171048047C171018156 @default.
- W2171048047 hasConceptScore W2171048047C199360897 @default.
- W2171048047 hasConceptScore W2171048047C2524010 @default.
- W2171048047 hasConceptScore W2171048047C2778514511 @default.
- W2171048047 hasConceptScore W2171048047C2780378061 @default.
- W2171048047 hasConceptScore W2171048047C33923547 @default.
- W2171048047 hasConceptScore W2171048047C41008148 @default.
- W2171048047 hasConceptScore W2171048047C558565934 @default.
- W2171048047 hasConceptScore W2171048047C73301696 @default.
- W2171048047 hasLocation W21710480471 @default.
- W2171048047 hasLocation W21710480472 @default.
- W2171048047 hasOpenAccess W2171048047 @default.
- W2171048047 hasPrimaryLocation W21710480471 @default.
- W2171048047 hasRelatedWork W1488057368 @default.
- W2171048047 hasRelatedWork W1503760549 @default.
- W2171048047 hasRelatedWork W1528736836 @default.
- W2171048047 hasRelatedWork W2099269319 @default.
- W2171048047 hasRelatedWork W2116175020 @default.
- W2171048047 hasRelatedWork W2249885551 @default.
- W2171048047 hasRelatedWork W3137189469 @default.
- W2171048047 hasRelatedWork W3160136729 @default.
- W2171048047 hasRelatedWork W4246531319 @default.
- W2171048047 hasRelatedWork W1482645738 @default.
- W2171048047 isParatext "false" @default.
- W2171048047 isRetracted "false" @default.
- W2171048047 magId "2171048047" @default.
- W2171048047 workType "article" @default.