FRINK Linked Data Fragments server

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

• W2047024169 abstract "In this paper, a formal model is introduced for reasoning about resource allocation and scheduling in real-time systems. We extend the concurrent refinement language Circus [Woodcock, J.C.P. and A.L.C. Cavalcanti, The semantics of Circus, in: ZB2002(LNCS 2272) (2002), pp. 184-203] through integrating continuous time and resource information. This model reflects resource issues when modelling the behavior of a system, and allows temporal properties to be accurately determined. We also apply the model to the problem of partitioning in co-design, and show how the partitioned programs preserve the behavior of the specification correctly. ); MTCS 2001 was held on 25 August 2001 as one of five satellite workshops co-located with the 12th International Conference on Concurrency Theory (CONCUR 2001), held in Aalborg (Denmark) 21-24 August 2001. The first workshop, MTCS 2000, was held in State College (Pennsylvania, USA) on 26 August 2000, co-chaired by Flavio Corradini and Paola Inverardi. As for MTCS 2000, the objectives of MTCS 2001 were (i) to validate the more promising proposals on models for time-critical systems, ranging from theory to practice and (ii) to promote interaction between different research areas in the field of time-critical systems. Despite its focus on time-critical systems, MTCS 2001 was also open for more general time-related issues. The papers in this volume were selected for presentation by the Program Committee from submissions received in response to a Call for Papers. This volume will be published as volume 52 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 http://www.elsevier.nl/locate/entcs The volume includes the contribution by the Invited Speaker Jos Baeten (Eindhoven University of Technology). We would like to thank Kim G. Larsen and Mogens Nielsen (CONCUR 2001 Conference Chairs) and Hans Huttel (Satellite Workshops Chair) for the opportunity they gave us to organize MTCS 2001 and for their support. Many thanks are due to Jos Baeten (Invited Speaker), and to the members of the Program Committee as well as their sub-referees for their accurate work. We would also like to thank Michael Mislove for his help during the proceedings editorial process and to BRICS for the publication of the preliminary proceedings. The papers in this volume were reviewed by the program committee consisting ofRajeev Alur(USA)Jos Baeten(NL)Frank de Boer(NL)Flavio Corradini(IT)Paola Inverardi(IT)Jeff Kramer(UK)Gerald Luettgen(UK)Jeff Magee(UK)Andrea Maggiolo-Schettini(IT)Bran Selic(CA)Joseph Sifakis(FR)Walter Vogler(DE) A printed version of the current volume is distributed to the participants at the workshop in Aalborg. May 7, 2002 Flavio Corradini, Walter Vogler" @default.
• W2047024169 created "2016-06-24" @default.
• W2047024169 creator A5015759231 @default.
• W2047024169 creator A5019942972 @default.
• W2047024169 creator A5054490662 @default.
• W2047024169 date "2005-05-01" @default.
• W2047024169 modified "2023-09-24" @default.
• W2047024169 title "Integrating Time and Resource into Circus" @default.
• W2047024169 cites W1483063212 @default.
• W2047024169 cites W1547789789 @default.
• W2047024169 cites W1559986400 @default.
• W2047024169 cites W1569097447 @default.
• W2047024169 cites W1571420812 @default.
• W2047024169 cites W1590430020 @default.
• W2047024169 cites W1884976128 @default.
• W2047024169 cites W1994683972 @default.
• W2047024169 cites W2010698657 @default.
• W2047024169 cites W2061158135 @default.
• W2047024169 cites W2077325003 @default.
• W2047024169 cites W2102314608 @default.
• W2047024169 cites W2114053529 @default.
• W2047024169 cites W2132119549 @default.
• W2047024169 cites W2169238357 @default.
• W2047024169 cites W2170610067 @default.
• W2047024169 cites W2503657378 @default.
• W2047024169 cites W3820865 @default.
• W2047024169 doi "https://doi.org/10.1016/j.entcs.2005.03.020" @default.
• W2047024169 hasPublicationYear "2005" @default.
• W2047024169 type Work @default.
• W2047024169 sameAs 2047024169 @default.
• W2047024169 citedByCount "0" @default.
• W2047024169 crossrefType "journal-article" @default.
• W2047024169 hasAuthorship W2047024169A5015759231 @default.
• W2047024169 hasAuthorship W2047024169A5019942972 @default.
• W2047024169 hasAuthorship W2047024169A5054490662 @default.
• W2047024169 hasBestOaLocation W20470241691 @default.
• W2047024169 hasConcept C126838900 @default.
• W2047024169 hasConcept C161191863 @default.
• W2047024169 hasConcept C162324750 @default.
• W2047024169 hasConcept C193702766 @default.
• W2047024169 hasConcept C199360897 @default.
• W2047024169 hasConcept C206345919 @default.
• W2047024169 hasConcept C206729178 @default.
• W2047024169 hasConcept C21547014 @default.
• W2047024169 hasConcept C2777601897 @default.
• W2047024169 hasConcept C31258907 @default.
• W2047024169 hasConcept C33923547 @default.
• W2047024169 hasConcept C41008148 @default.
• W2047024169 hasConcept C42475967 @default.
• W2047024169 hasConcept C71924100 @default.
• W2047024169 hasConceptScore W2047024169C126838900 @default.
• W2047024169 hasConceptScore W2047024169C161191863 @default.
• W2047024169 hasConceptScore W2047024169C162324750 @default.
• W2047024169 hasConceptScore W2047024169C193702766 @default.
• W2047024169 hasConceptScore W2047024169C199360897 @default.
• W2047024169 hasConceptScore W2047024169C206345919 @default.
• W2047024169 hasConceptScore W2047024169C206729178 @default.
• W2047024169 hasConceptScore W2047024169C21547014 @default.
• W2047024169 hasConceptScore W2047024169C2777601897 @default.
• W2047024169 hasConceptScore W2047024169C31258907 @default.
• W2047024169 hasConceptScore W2047024169C33923547 @default.
• W2047024169 hasConceptScore W2047024169C41008148 @default.
• W2047024169 hasConceptScore W2047024169C42475967 @default.
• W2047024169 hasConceptScore W2047024169C71924100 @default.
• W2047024169 hasLocation W20470241691 @default.
• W2047024169 hasOpenAccess W2047024169 @default.
• W2047024169 hasPrimaryLocation W20470241691 @default.
• W2047024169 hasRelatedWork W1536570095 @default.
• W2047024169 hasRelatedWork W1969896860 @default.
• W2047024169 hasRelatedWork W2003869899 @default.
• W2047024169 hasRelatedWork W2386067591 @default.
• W2047024169 hasRelatedWork W2393478627 @default.
• W2047024169 hasRelatedWork W3005892291 @default.
• W2047024169 hasRelatedWork W3141106550 @default.
• W2047024169 hasRelatedWork W3204394973 @default.
• W2047024169 hasRelatedWork W4214924096 @default.
• W2047024169 hasRelatedWork W68053931 @default.
• W2047024169 isParatext "false" @default.
• W2047024169 isRetracted "false" @default.
• W2047024169 magId "2047024169" @default.
• W2047024169 workType "article" @default.