• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • Muhammad Arshad (3)
    • Ehsan Elahi (2)
    • The Pennsylvania State University CiteSeerX Archives (2)
    • Zafar Hayat Attari (2)
    • Abedin, Muhammad Arshad Ul (1)
    • Beg, Mirza Muhammad Arshad (1)
    • English In Pakistan (1)
    • Khan, Latifur (1)
    • Latifur Khan (1)
    • Ng, Vincent (1)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (4)
    • Book (1)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 5 of 5 1 Translating from "State-Rich" to "State Poor" process algebras Beg, Mirza Muhammad Arshad. - : Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2016 Abstract: Following the development of formalisms based on data and behavioural aspects of the system, there are a number of attempts in which these two formalisms are mixed together to get benefit of both paradigms. Circus being a living specification language with continuous collaboration from both academia and industry, is a combination of Z, CSP and the refinement calculus. To make use of the available and industry-proven tools for a particular programming paradigm, there is a need to develop a formally verified link between one world and the other. The aim of this work is to develop a formally verified translation between the state-rich process algebra i.e. Circus to the state-poor process algebra i.e. CSP. To achieve the research goal, the most suitable available tools had to be identified. For developing a link between targeted formal languages, the key translations required between the two languages are identified. For ensuring correctness of the translation, the key translation / refinement steps are formalised using a well-known functional language - Haskell. This formed the theoretical core of the work and supported the soundness of the link. In the end, a case study from the collection of software / hardware protocols was selected and the processes specified for the protocol were formally described using the notations available in the prototype designed in Haskell. ; TARA (Trinity?s Access to Research Archive) has a robust takedown policy. Please contact us if you have any concerns: rssadmin@tcd.ie Keyword: Computer Science; Ph.D; Ph.D. Trinity College Dublin URL: http://hdl.handle.net/2262/82894 BASE Hide details 2 Cause Identification from Aviation Safety Incident Reports via Weakly Supervised Semantic Lexicon Construction ... Abedin, Muhammad Arshad Ul; Ng, Vincent; Khan, Latifur. - : arXiv, 2014 BASE Show details 3 Impact of Parents ‘ Profession on their Children‘s Learning English In Pakistan; Muhammad Arshad; Post Code# Tel... In: http://www.macrothink.org/journal/index.php/ijld/article/download/1384/1132/ (2012) BASE Show details 4 Cause Identification from Aviation Safety Incident Reports via Weakly Supervised Semantic Lexicon Construction Muhammad Arshad; Ul Abedin; Vincent Ng... In: http://www.jair.org/media/2986/live-2986-5138-jair.pdf BASE Show details 5 Impact of Parents¡¯ Profession on their Children¡¯s Learning English in Pakistan Muhammad Arshad; Zafar Hayat Attari; Ehsan Elahi BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 5 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0