Matches in SemOpenAlex for { <https://semopenalex.org/work/W10374711> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W10374711 startingPage "105" @default.
- W10374711 abstract "The development of modern routers require a significant effort to be designed, built, and verified. While hardware routers are faster, they are difficult to configure and maintain. Software routers, on the other hand, are slower but much more flexible, easier to configure and maintain, less expensive, etc. Recently, a modular architecture and toolkit for building software routers and other packet processors has been introduced: the Click system. It includes a specification language with features for declaring and connecting router elements and for designing abstractions. In this work, we introduce the domain-specific language Rose for the specification of software routers. Rose is embedded in Curry, a modern declarative multi-paradigm language. An advantage of this approach is that we have available a framework where router specifications can be transformed, optimized, verified, etc., by using a number of existing formal techniques already developed for Curry programs. Furthermore, we show that the features of Curry are particularly useful to specify router configurations with a high-level of abstraction. Our first experiments point out that the proposed methodology is both useful and practical." @default.
- W10374711 created "2016-06-24" @default.
- W10374711 creator A5003503212 @default.
- W10374711 creator A5027738630 @default.
- W10374711 creator A5050696824 @default.
- W10374711 date "2003-01-01" @default.
- W10374711 modified "2023-09-27" @default.
- W10374711 title "Towards Router Specification in Curry: The Language ROSE" @default.
- W10374711 cites W1485162873 @default.
- W10374711 cites W1517456004 @default.
- W10374711 cites W1590124231 @default.
- W10374711 cites W1936190831 @default.
- W10374711 cites W2010365467 @default.
- W10374711 cites W2013131987 @default.
- W10374711 cites W2014764321 @default.
- W10374711 cites W2036291758 @default.
- W10374711 cites W2043100293 @default.
- W10374711 cites W2053719172 @default.
- W10374711 cites W2078852650 @default.
- W10374711 cites W2107696941 @default.
- W10374711 cites W2146625768 @default.
- W10374711 hasPublicationYear "2003" @default.
- W10374711 type Work @default.
- W10374711 sameAs 10374711 @default.
- W10374711 citedByCount "0" @default.
- W10374711 crossrefType "journal-article" @default.
- W10374711 hasAuthorship W10374711A5003503212 @default.
- W10374711 hasAuthorship W10374711A5027738630 @default.
- W10374711 hasAuthorship W10374711A5050696824 @default.
- W10374711 hasConcept C101468663 @default.
- W10374711 hasConcept C111472728 @default.
- W10374711 hasConcept C115903868 @default.
- W10374711 hasConcept C118524514 @default.
- W10374711 hasConcept C123657996 @default.
- W10374711 hasConcept C124304363 @default.
- W10374711 hasConcept C138885662 @default.
- W10374711 hasConcept C142362112 @default.
- W10374711 hasConcept C153349607 @default.
- W10374711 hasConcept C199360897 @default.
- W10374711 hasConcept C2775896111 @default.
- W10374711 hasConcept C2777904410 @default.
- W10374711 hasConcept C2781029818 @default.
- W10374711 hasConcept C31258907 @default.
- W10374711 hasConcept C41008148 @default.
- W10374711 hasConceptScore W10374711C101468663 @default.
- W10374711 hasConceptScore W10374711C111472728 @default.
- W10374711 hasConceptScore W10374711C115903868 @default.
- W10374711 hasConceptScore W10374711C118524514 @default.
- W10374711 hasConceptScore W10374711C123657996 @default.
- W10374711 hasConceptScore W10374711C124304363 @default.
- W10374711 hasConceptScore W10374711C138885662 @default.
- W10374711 hasConceptScore W10374711C142362112 @default.
- W10374711 hasConceptScore W10374711C153349607 @default.
- W10374711 hasConceptScore W10374711C199360897 @default.
- W10374711 hasConceptScore W10374711C2775896111 @default.
- W10374711 hasConceptScore W10374711C2777904410 @default.
- W10374711 hasConceptScore W10374711C2781029818 @default.
- W10374711 hasConceptScore W10374711C31258907 @default.
- W10374711 hasConceptScore W10374711C41008148 @default.
- W10374711 hasOpenAccess W10374711 @default.
- W10374711 hasRelatedWork W1514608804 @default.
- W10374711 hasRelatedWork W1563429891 @default.
- W10374711 hasRelatedWork W1828651577 @default.
- W10374711 hasRelatedWork W1896523510 @default.
- W10374711 hasRelatedWork W1974780906 @default.
- W10374711 hasRelatedWork W2108876834 @default.
- W10374711 hasRelatedWork W2119114955 @default.
- W10374711 hasRelatedWork W2122066455 @default.
- W10374711 hasRelatedWork W2125877989 @default.
- W10374711 hasRelatedWork W2127464686 @default.
- W10374711 hasRelatedWork W2136820289 @default.
- W10374711 hasRelatedWork W2138695473 @default.
- W10374711 hasRelatedWork W2150894573 @default.
- W10374711 hasRelatedWork W2152993669 @default.
- W10374711 hasRelatedWork W2166090385 @default.
- W10374711 hasRelatedWork W2169506390 @default.
- W10374711 hasRelatedWork W2169850948 @default.
- W10374711 hasRelatedWork W2248913496 @default.
- W10374711 hasRelatedWork W2898281365 @default.
- W10374711 hasRelatedWork W2969249757 @default.
- W10374711 isParatext "false" @default.
- W10374711 isRetracted "false" @default.
- W10374711 magId "10374711" @default.
- W10374711 workType "article" @default.