Matches in SemOpenAlex for { <https://semopenalex.org/work/W123456301> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W123456301 endingPage "410" @default.
- W123456301 startingPage "406" @default.
- W123456301 abstract "LOTOS is a formal specification technique for describing and verifying complex systems. In this paper, we investigate the applicability of LOTOS to specify and solve Constraint Satisfaction Problems (CSPs) as well as Temporal Constraint Satisfaction Problems (TCSPs). A CSP is a general framework used to represent and solve a large variety of combinatorial problems including frequency assignment, configuration and conceptual design, network management and transportation. A TCSP is one particular case of CSPs, where constraints are temporal relations between temporal variables defined over a set of time intervals. TCSPs are used to handle problems involving temporal constraints such as scheduling, planning and computational linguistics. Through simulation and model-checking verification, we show, in this paper, how to solve CSPs and TCSPs using LOTOS specifications." @default.
- W123456301 created "2016-06-24" @default.
- W123456301 creator A5026015679 @default.
- W123456301 creator A5058768233 @default.
- W123456301 creator A5077485086 @default.
- W123456301 date "2004-01-01" @default.
- W123456301 modified "2023-09-27" @default.
- W123456301 title "Formal Description Techniques for CSPs and TCSPs." @default.
- W123456301 cites W1576560203 @default.
- W123456301 cites W2009092207 @default.
- W123456301 cites W2068852367 @default.
- W123456301 cites W2121372686 @default.
- W123456301 cites W2130182605 @default.
- W123456301 cites W2134358914 @default.
- W123456301 cites W2135432705 @default.
- W123456301 cites W2148546044 @default.
- W123456301 cites W2161484642 @default.
- W123456301 hasPublicationYear "2004" @default.
- W123456301 type Work @default.
- W123456301 sameAs 123456301 @default.
- W123456301 citedByCount "1" @default.
- W123456301 crossrefType "proceedings-article" @default.
- W123456301 hasAuthorship W123456301A5026015679 @default.
- W123456301 hasAuthorship W123456301A5058768233 @default.
- W123456301 hasAuthorship W123456301A5077485086 @default.
- W123456301 hasConcept C110251889 @default.
- W123456301 hasConcept C116253237 @default.
- W123456301 hasConcept C126255220 @default.
- W123456301 hasConcept C136197465 @default.
- W123456301 hasConcept C154945302 @default.
- W123456301 hasConcept C177264268 @default.
- W123456301 hasConcept C199360897 @default.
- W123456301 hasConcept C199622910 @default.
- W123456301 hasConcept C206729178 @default.
- W123456301 hasConcept C25016198 @default.
- W123456301 hasConcept C2524010 @default.
- W123456301 hasConcept C2776036281 @default.
- W123456301 hasConcept C33923547 @default.
- W123456301 hasConcept C41008148 @default.
- W123456301 hasConcept C44616089 @default.
- W123456301 hasConcept C49937458 @default.
- W123456301 hasConcept C80444323 @default.
- W123456301 hasConceptScore W123456301C110251889 @default.
- W123456301 hasConceptScore W123456301C116253237 @default.
- W123456301 hasConceptScore W123456301C126255220 @default.
- W123456301 hasConceptScore W123456301C136197465 @default.
- W123456301 hasConceptScore W123456301C154945302 @default.
- W123456301 hasConceptScore W123456301C177264268 @default.
- W123456301 hasConceptScore W123456301C199360897 @default.
- W123456301 hasConceptScore W123456301C199622910 @default.
- W123456301 hasConceptScore W123456301C206729178 @default.
- W123456301 hasConceptScore W123456301C25016198 @default.
- W123456301 hasConceptScore W123456301C2524010 @default.
- W123456301 hasConceptScore W123456301C2776036281 @default.
- W123456301 hasConceptScore W123456301C33923547 @default.
- W123456301 hasConceptScore W123456301C41008148 @default.
- W123456301 hasConceptScore W123456301C44616089 @default.
- W123456301 hasConceptScore W123456301C49937458 @default.
- W123456301 hasConceptScore W123456301C80444323 @default.
- W123456301 hasLocation W1234563011 @default.
- W123456301 hasOpenAccess W123456301 @default.
- W123456301 hasPrimaryLocation W1234563011 @default.
- W123456301 hasRelatedWork W1487459658 @default.
- W123456301 hasRelatedWork W1537154714 @default.
- W123456301 hasRelatedWork W1540307291 @default.
- W123456301 hasRelatedWork W1586621202 @default.
- W123456301 hasRelatedWork W1898212773 @default.
- W123456301 hasRelatedWork W208439881 @default.
- W123456301 hasRelatedWork W2143737517 @default.
- W123456301 hasRelatedWork W2180065628 @default.
- W123456301 hasRelatedWork W2214314364 @default.
- W123456301 hasRelatedWork W2328962438 @default.
- W123456301 hasRelatedWork W2475601112 @default.
- W123456301 hasRelatedWork W2496004337 @default.
- W123456301 hasRelatedWork W2519111313 @default.
- W123456301 hasRelatedWork W2536958206 @default.
- W123456301 hasRelatedWork W2743278813 @default.
- W123456301 hasRelatedWork W2896063264 @default.
- W123456301 hasRelatedWork W2901907542 @default.
- W123456301 hasRelatedWork W3150670043 @default.
- W123456301 hasRelatedWork W32912839 @default.
- W123456301 hasRelatedWork W611419313 @default.
- W123456301 isParatext "false" @default.
- W123456301 isRetracted "false" @default.
- W123456301 magId "123456301" @default.
- W123456301 workType "article" @default.