Sciweavers

    1356 search results - page 3 / 272
    » A variable-free dynamic semantics
    Sort
    View
    67
    Voted
    CORR
    2002
    Springer
    87views Education» more  CORR 2002»
    A variable-free dynamic semantics
    15 years 3 months ago
    A variable-free dynamic semantics
    Download  www.digitas.harvard.edu
    Chung-chieh Shan
    claim paper
    Read More »
    76
    Voted
    JETAI
    1998
    42views more  JETAI 1998»
    Semantical considerations on intention dynamics for BDI agents
    15 years 3 months ago
    Semantical considerations on intention dynamics for BDI agents
    Download  www.csc.ncsu.edu
    Munindar P. Singh
    claim paper
    Read More »
    108
    Voted
    TOSEM
    2010
    57views more  TOSEM 2010»
    Semantic self-assessment of query results in dynamic environments
    15 years 2 months ago
    Semantic self-assessment of query results in dynamic environments
    Download  coitweb.uncc.edu
    Jamie Payton, Christine Julien, Gruia-Catalin Roma...
    claim paper
    Read More »
    159
    Voted
    CONCUR
    2009
    Springer
    175views Distributed And Parallel Com...» more  CONCUR 2009»
    BlenX Static and Dynamic Semantics
    15 years 1 months ago
    BlenX Static and Dynamic Semantics
    Download  disi.unitn.it
    We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
    Corrado Priami, Paola Quaglia, Alessandro Romanel
    claim paper
    Read More »
    CORR
    2009
    Springer
    78views Education» more  CORR 2009»
    Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
    15 years 1 months ago
    Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
    Download  www.dmi.units.it
    Luca Bortolussi, Alberto Policriti
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.