FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4248305662> ?p ?o ?g. }

• W4248305662 endingPage "274" @default.
• W4248305662 startingPage "273" @default.
• W4248305662 abstract "This volume contains the Proceedings of the First Workshop on the Theory and Practice of Timed Systems (TPTS'2002). The Workshop was held in Grenoble, France on April 6 and 7, 2002, as satellite event to ETAPS'2002. The study of time-dependent behavior is treated currently under different titles by different communities. Classical problems of manufacturing scheduling, for example, are considered as part of operation research and industrial engineering. Similar but different scheduling problems are encountered in the research on real-time operating systems. People who are interested in semantics, verification or performance analysis are working on models such as timed automata, timed Petri nets or max-plus algebra. Electrical engineers have to consider propagation delays in their circuits and designer of embedded controllers have to take into account the time it takes for the controller to compute its reaction after sampling the environment. The unifying theme underlying all these apparently different domains is that they treat systems whose behavior depends upon combinations of logical and temporal constraints, i.e. constraints on the distance between the occurrences of two events. The workshop goal is to promote the study of fundamental and practical aspects of timed systems. The three major axes of interest are listed below: Foundations and semantics: contributions to a better theoretical foundations for timed systems and timed formal languages as well as a comparison between different models used by different communities (timed automata, timed Petri nets, max-plus algebra, etc.). Algorithms and tools: new algorithms and data-structures for analyzing timed systems and resolving temporal constraints. are needed in order to push timing technology into the real world. Applications: adaptation and specialization of timing technology to the modeling and analysis of certain types of application domains in which timing plays an important role (real-time software, hardware circuits and problems of scheduling in manufacturing or telecommunication). The papers in this volume were reviewed by the program committee consisting of Rajeev Alur(U. Penn, Philadelphia)Eugene Asarin(Verimag, Grenoble)Ahmed Bouajjani(LIAFA, Paris)Jordi Cortadella(U. Catalunya, Barcelona)Sebastian Engell(U. of Dortmund)Tom Henzinger(U. California, Berkeley)Bengt Jonsson(U. of Uppsala)Kim Larsen(U. of Aalborg)Insup Lee(U. Penn, Philadelphia)Oded Maler(Verimag, Grenoble)Chris Myers(U. Utah, Salt Lake City)Peter Niebert(U. Provence, Marseille)Antoine Petit(ENS, Cachan)Paul Petterson(U. of Uppsala)Amir Pnueli(Weizmann Institute, Rehovot)Alex Rabinovich(U. of Tel-Aviv)Jean-Francois Raskin(Free University, Brussels)Karem Sakallah(U. Michigan, Ann Arbor)Ken Stevens(Intel, Hillsboro)Wang Yi(U. of Uppsala)Sergio Yovine(Verimag, Grenoble) This volume will be published as volume 65, issue 6 in the series Electronic Notes in Theoretical Computer Science (ENTCS). This series is published electronically through the facilities of Elsevier Science B.V. and its auspices. The volumes in the ENTCS series can be accessed at the URL March 18, 2002 Eugene Asarin, Oded Maler, Sergio Yovine" @default.
• W4248305662 created "2022-05-12" @default.
• W4248305662 creator A5012209374 @default.
• W4248305662 creator A5022825325 @default.
• W4248305662 creator A5025693758 @default.
• W4248305662 date "2002-06-01" @default.
• W4248305662 modified "2023-09-24" @default.
• W4248305662 title "Preface" @default.
• W4248305662 doi "https://doi.org/10.1016/s1571-0661(05)80481-5" @default.
• W4248305662 hasPublicationYear "2002" @default.
• W4248305662 type Work @default.
• W4248305662 citedByCount "0" @default.
• W4248305662 crossrefType "journal-article" @default.
• W4248305662 hasAuthorship W4248305662A5012209374 @default.
• W4248305662 hasAuthorship W4248305662A5022825325 @default.
• W4248305662 hasAuthorship W4248305662A5025693758 @default.
• W4248305662 hasBestOaLocation W42483056621 @default.
• W4248305662 hasConcept C112505250 @default.
• W4248305662 hasConcept C116248031 @default.
• W4248305662 hasConcept C120314980 @default.
• W4248305662 hasConcept C121332964 @default.
• W4248305662 hasConcept C126255220 @default.
• W4248305662 hasConcept C184337299 @default.
• W4248305662 hasConcept C199360897 @default.
• W4248305662 hasConcept C206729178 @default.
• W4248305662 hasConcept C2779662365 @default.
• W4248305662 hasConcept C33923547 @default.
• W4248305662 hasConcept C38677869 @default.
• W4248305662 hasConcept C41008148 @default.
• W4248305662 hasConcept C62520636 @default.
• W4248305662 hasConcept C80444323 @default.
• W4248305662 hasConceptScore W4248305662C112505250 @default.
• W4248305662 hasConceptScore W4248305662C116248031 @default.
• W4248305662 hasConceptScore W4248305662C120314980 @default.
• W4248305662 hasConceptScore W4248305662C121332964 @default.
• W4248305662 hasConceptScore W4248305662C126255220 @default.
• W4248305662 hasConceptScore W4248305662C184337299 @default.
• W4248305662 hasConceptScore W4248305662C199360897 @default.
• W4248305662 hasConceptScore W4248305662C206729178 @default.
• W4248305662 hasConceptScore W4248305662C2779662365 @default.
• W4248305662 hasConceptScore W4248305662C33923547 @default.
• W4248305662 hasConceptScore W4248305662C38677869 @default.
• W4248305662 hasConceptScore W4248305662C41008148 @default.
• W4248305662 hasConceptScore W4248305662C62520636 @default.
• W4248305662 hasConceptScore W4248305662C80444323 @default.
• W4248305662 hasIssue "6" @default.
• W4248305662 hasLocation W42483056621 @default.
• W4248305662 hasOpenAccess W4248305662 @default.
• W4248305662 hasPrimaryLocation W42483056621 @default.
• W4248305662 hasRelatedWork W1855927527 @default.
• W4248305662 hasRelatedWork W1897277602 @default.
• W4248305662 hasRelatedWork W2050696740 @default.
• W4248305662 hasRelatedWork W2091821831 @default.
• W4248305662 hasRelatedWork W2101052162 @default.
• W4248305662 hasRelatedWork W2104619509 @default.
• W4248305662 hasRelatedWork W2107012191 @default.
• W4248305662 hasRelatedWork W2170115973 @default.
• W4248305662 hasRelatedWork W2783548027 @default.
• W4248305662 hasRelatedWork W2787144918 @default.
• W4248305662 hasVolume "65" @default.
• W4248305662 isParatext "false" @default.
• W4248305662 isRetracted "false" @default.
• W4248305662 workType "article" @default.