Sciweavers

    683 search results - page 98 / 137
    » Modelling Evolvable Systems: A Temporal Logic View
    Sort
    View
    TVCG
    2011
    198views more  TVCG 2011»
    Forecasting Hotspots - A Predictive Analytics Approach
    13 years 4 months ago
    Forecasting Hotspots - A Predictive Analytics Approach
    Download  pixel.ecn.purdue.edu
    —Current visual analytics systems provide users with the means to explore trends in their data. Linked views and interactive displays provide insight into correlations among peop...
    Ross Maciejewski, Ryan Hafen, Stephen Rudolph, Ste...
    claim paper
    Read More »
    IPL
    2010
    94views more  IPL 2010»
    Partial model checking via abstract interpretation
    13 years 8 months ago
    Partial model checking via abstract interpretation
    Download  eprints.adm.unipi.it
    model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
    Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...
    claim paper
    Read More »
    CAV
    2005
    Springer
    173views Hardware» more  CAV 2005»
    Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
    14 years 3 months ago
    Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
    Download  projects.cis.ksu.edu
    Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
    Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
    claim paper
    Read More »
    SAC
    1994
    ACM
    104views Applied Computing» more  SAC 1994»
    Extending a parallel CLP language to support the development of multi-agent systems
    14 years 1 months ago
    Extending a parallel CLP language to support the development of multi-agent systems
    Download  www.cs.iastate.edu
    An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
    Panagiotis Stamatopoulos, Dimitris Margaritis, Con...
    claim paper
    Read More »
    HPCNCS
    2007
    152views Applied Computing» more  HPCNCS 2007»
    A Formal Approach for Identity Management in Federated Web Services
    13 years 11 months ago
    A Formal Approach for Identity Management in Federated Web Services
    Download  www.cs.iastate.edu
    The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
    S. Chandrasekaran, C. Dinesh, Kartic Ramesh, Al. M...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.