SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "LAR1:hh ;lar1:(hh)"

Search: LAR1:hh > Halmstad University

  • Result 51-60 of 11649
Sort/group result
   
EnumerationReferenceCoverFind
51.
  •  
52.
  • Aceto, Luca, et al. (author)
  • Lifting non-finite axiomatizability results to extensions of process algebras
  • 2008
  • In: Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008. - New York : Springer-Verlag New York. - 9780387096797 - 9780387096803 ; , s. 301-316
  • Conference paper (peer-reviewed)abstract
    • This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioral semantics over process algebras from old ones. The proposed technique is based on a variation on the classic idea of reduction mappings. In this setting, such reductions are translations between languages that preserve sound (in)equations and (in)equational proofs over the source language, and reflect families of (in)equations responsible for the non-finite axiomatizability of the target language. The proposed technique is applied to obtain a number of new non-finite axiomatizability theorems in process algebra via reduction to Moller’s celebrated non-finite axiomatizability result for CCS. The limitations of the reduction technique are also studied.
  •  
53.
  • Aceto, L., et al. (author)
  • Lifting non-finite axiomatizability results to extensions of process algebras
  • 2010
  • In: Acta Informatica. - Amsterdam : Elsevier. - 0001-5903 .- 1432-0525. ; 47:3, s. 147-177
  • Journal article (peer-reviewed)abstract
    • This paper presents a general technique for obtaining new results pertaining to the non-finite axiomatizability of behavioural (pre)congruences over process algebras from old ones. The proposed technique is based on a variation on the classic idea of reduction mappings. In this setting, such reductions are translations between languages that preserve sound (in)equations and (in)equational provability over the source language, and reflect families of (in)equations responsible for the non-finite axiomatizability of the target language. The proposed technique is applied to obtain a number of new non-finite axiomatizability theorems in process algebra via reduction to Moller's celebrated non-finite axiomatizability result for CCS. The limitations of the reduction technique are also studied. In particular, it is shown that prebisimilarity is not finitely based over CCS with the divergent process Ω, but that this result cannot be proved by a reduction to the non-finite axiomatizability of CCS modulo bisimilarity. This negative result is the inspiration for the development of a sharpened reduction method that is powerful enough to show that prebisimilarity is not finitely based over CCS with the divergent process Ω. © 2010 Springer-Verlag.
  •  
54.
  • Aceto, Luca, et al. (author)
  • On Rule Formats for Zero and Unit Elements
  • 2010
  • Reports (other academic/artistic)abstract
    • This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our design approach is also applied to reformulate an earlier rule format for unit elements developed by some of the authors. Examples of left and right zero, as well as unit, elements from the literature are shown to be checkable using the provided formats.
  •  
55.
  • Aceto, Luca, et al. (author)
  • Rule formats for determinism and idempotence
  • 2012
  • In: Science of Computer Programming. - Amsterdam : Elsevier BV. - 0167-6423 .- 1872-7964. ; 77:7-8, s. 889-907
  • Journal article (peer-reviewed)abstract
    • Determinism is a semantic property of (a fragment of) a language that specifies that a program cannot evolve operationally in several different ways. Idempotence is a property of binary composition operators requiring that the composition of two identical specifications or programs will result in a piece of specification or program that is equivalent to the original components. In this paper, we propose (related) meta-theorems for guaranteeing the determinism and idempotence of binary operators. These meta-theorems are formulated in terms of syntactic templates for operational semantics, called rule formats. In order to obtain a powerful rule format for idempotence, we make use of the determinism of certain transition relations in the definition of the format for idempotence. We show the applicability of our formats by applying them to various operational semantics from the literature.
  •  
56.
  • Aceto, Luca, et al. (author)
  • Rule Formats for Distributivity
  • 2012
  • In: Theoretical Computer Science. - : Elsevier BV. - 0304-3975 .- 1879-2294. ; 458, s. 1-28
  • Journal article (peer-reviewed)abstract
    • This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered. © 2012 Elsevier B.V. All rights reserved.
  •  
57.
  • Aceto, Luca, et al. (author)
  • Rule Formats for Distributivity
  • 2011
  • In: Language and Automata Theory and Applications. - Heidelberg : Springer Berlin/Heidelberg. - 9783642212536 ; , s. 79-90
  • Conference paper (peer-reviewed)abstract
    • This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. © 2011 Springer-Verlag.
  •  
58.
  • Aceto, Luca, et al. (author)
  • Rule Formats for Distributivity
  • 2010
  • Reports (other academic/artistic)abstract
    • This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats.
  •  
59.
  • Aceto, Luca, et al. (author)
  • SOS Rule Formats for Zero and Unit Elements
  • 2011
  • In: Theoretical Computer Science. - Amsterdam : Elsevier. - 0304-3975 .- 1879-2294. ; 412:28, s. 3045-3071
  • Journal article (peer-reviewed)abstract
    • This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study. © 2011 Elsevier B.V. All rights reserved.
  •  
60.
  • Achard, Paola Olimpia, et al. (author)
  • Risk Identification in the Infrastructure Construction Industry : A Supply Chain Case Study
  • 2008
  • In: International Journal of Logistics Economics and Globalisation. - Olney, Bucks : InderScience Publishers. - 1741-5373 .- 1741-5381. ; 1:3–4, s. 343-356
  • Journal article (peer-reviewed)abstract
    • The objective of this article is to describe the risk identification within a supply chain of an infrastructure construction project. This research is based on a case study of risk management within a supply chain in the infrastructure construction industry. Data have been collected from an international company emphasising the stage of risk identification. A particular view of risk management has been adopted. More specifically, a way to identify risk within the construction industry has been given. Technical and operational evidences have been revised and organised in order to take a first step in the direction of a systematic treatment. It has highlighted some crucial issues dealing with risk identification, while risk assessment and risk response provide an opportunity for further research. The article has underlined how risk management can be seen as the way to discover existing risks that are preventing firms from advancing their strategy. Main insights that emerged dealt with five categories: strategic objectives; critical success factors; environment and stakeholder influences; key performance indicators and principal risks; principal risk response strategies.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 51-60 of 11649
Type of publication
journal article (5224)
conference paper (3461)
book chapter (1200)
reports (456)
other publication (299)
doctoral thesis (258)
show more...
book (166)
research review (139)
editorial collection (131)
review (122)
licentiate thesis (109)
editorial proceedings (56)
patent (28)
artistic work (10)
show less...
Type of content
peer-reviewed (8704)
other academic/artistic (2352)
pop. science, debate, etc. (592)
Author/Editor
Vinel, Alexey, 1983- (243)
Stambulova, Natalia, ... (204)
Ivarsson, Andreas, 1 ... (192)
Svedberg, Petra, 197 ... (166)
Nandakumar, Kutty Se ... (166)
Svensson, Göran, 196 ... (156)
show more...
Fridlund, Bengt (149)
Johnson, Urban, 1961 ... (147)
Jonsson, Magnus, 196 ... (143)
Andersson, Svante, 1 ... (131)
Nowaczyk, Sławomir, ... (128)
Solberg Søilen, Klau ... (125)
Larsson, Ingrid, 196 ... (123)
Bremander, Ann, 1957 ... (122)
Bergman, Stefan, 195 ... (116)
Möller, Daniel (111)
Bigun, Josef, 1961- (108)
Nygren, Jens M., 197 ... (104)
Sandberg, Mikael, 19 ... (102)
Rosén, Bengt - Göran ... (95)
Iagnemma, Karl (95)
Alonso-Fernandez, Fe ... (94)
Tiwari, Prayag, 1991 ... (87)
Nilsson, Pernilla, 1 ... (87)
Bacauskiene, Marija (87)
Gabrielsson, Jonas, ... (86)
Verikas, Antanas, 19 ... (84)
Skärsäter, Ingela, 1 ... (82)
Karlsson, Staffan, 1 ... (80)
Jormfeldt, Henrika, ... (79)
Holmdahl, Rikard (78)
Fors, Vaike, 1969- (74)
Tideman, Magnus, 195 ... (72)
Bååth, L.B. 1948- (71)
Gelzinis, Adas (70)
Pettersson, Håkan, 1 ... (69)
Rögnvaldsson, Thorst ... (67)
Mousavi, Mohammad Re ... (65)
Sjöberg, Jeanette, 1 ... (65)
Verikas, Antanas (65)
Berg, Martin, 1977- (65)
Svensson, Göran (64)
Taha, Walid, 1971- (64)
Haglund, Emma, 1970- (63)
Bergquist, Magnus, 1 ... (61)
Carlsson, Ing-Marie, ... (61)
Ziegert, Kristina, 1 ... (61)
Samuelson, Lars (60)
Hoveskog, Maya, 1980 ... (60)
Stambulova, Natalia (59)
show less...
University
Halmstad University  (11649)Undo refine
Lund University (991)
University of Gothenburg (630)
Linnaeus University (334)
Jönköping University (247)
Karolinska Institutet (237)
show more...
Linköping University (226)
Malmö University (220)
Chalmers University of Technology (214)
Uppsala University (147)
Luleå University of Technology (147)
Umeå University (140)
Örebro University (123)
RISE (119)
Mälardalen University (95)
Stockholm University (93)
University of Borås (87)
Högskolan Dalarna (80)
University West (67)
Mid Sweden University (66)
Karlstad University (64)
University of Gävle (57)
Royal Institute of Technology (56)
University of Skövde (55)
Kristianstad University College (49)
Swedish University of Agricultural Sciences (42)
Blekinge Institute of Technology (35)
The Swedish School of Sport and Health Sciences (31)
VTI - The Swedish National Road and Transport Research Institute (27)
Södertörn University (25)
Marie Cederschiöld högskola (15)
Stockholm School of Economics (6)
Sophiahemmet University College (5)
Swedish Environmental Protection Agency (3)
University College of Arts, Crafts and Design (2)
Stockholm University of the Arts (2)
IVL Swedish Environmental Research Institute (2)
Red Cross University College (2)
The Institute for Language and Folklore (2)
Swedish National Heritage Board (1)
show less...
Language
English (9634)
Swedish (1890)
German (43)
Spanish (26)
Danish (12)
Norwegian (11)
show more...
Bulgarian (7)
Ukranian (6)
Portuguese (5)
French (4)
Russian (3)
Chinese (2)
Finnish (1)
Dutch (1)
Greek, Ancient (1)
Turkish (1)
Korean (1)
Belarusian (1)
show less...
Research subject (UKÄ/SCB)
Social Sciences (4664)
Engineering and Technology (2534)
Medical and Health Sciences (2520)
Natural sciences (2105)
Humanities (971)
Agricultural Sciences (54)

Year

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view