Sciweavers

    1173 search results - page 209 / 235
    » On the Compositionality of Round Abstraction
    Sort
    View
    DAIS
    2007
    115views Distributed And Parallel Com...» more  DAIS 2007»
    Scalable Processing of Context Information with COSMOS
    13 years 11 months ago
    Scalable Processing of Context Information with COSMOS
    Download  hal.inria.fr
    Abstract. Ubiquitous computing environments are characterised by a high number of heterogenous devices that generate a huge amount of context data. These data are used, for example...
    Denis Conan, Romain Rouvoy, Lionel Seinturier
    claim paper
    Read More »
    FORTE
    2007
    139views Formal Methods» more  FORTE 2007»
    The DHCP Failover Protocol: A Formal Perspective
    13 years 11 months ago
    The DHCP Failover Protocol: A Formal Perspective
    Download  groups.csail.mit.edu
    Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
    Rui Fan, Ralph E. Droms, Nancy D. Griffeth, Nancy ...
    claim paper
    Read More »
    VAMOS
    2010
    Springer
    284views Software Engineering» more  VAMOS 2010»
    Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering
    13 years 11 months ago
    Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering
    Download  www.onekin.org
    Feature-Oriented Model-Driven Engineering (FOMDE) is an approach that lies at the intersection of two complementary paradigms for software construction, Model Driven Engineering (M...
    Roberto E. Lopez-Herrejon, Alexander Egyed, Salvad...
    claim paper
    Read More »
    HCI
    2007
    174views Human Computer Interaction» more  HCI 2007»
    Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder
    13 years 11 months ago
    Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder
    Download  www.cs.uni-paderborn.de
    GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...
    Stefan Sauer, Gregor Engels
    claim paper
    Read More »
    LREC
    2008
    57views Education» more  LREC 2008»
    A Development Environment for Configurable Meta-Annotators in a Pipelined NLP Architecture
    13 years 11 months ago
    A Development Environment for Configurable Meta-Annotators in a Pipelined NLP Architecture
    Download  www.lrec-conf.org
    Information extraction from large data repositories is critical to Information Management solutions. In addition to prerequisite corpus analysis, to determine domain-specific char...
    Youssef Drissi, Branimir Boguraev, David Ferrucci,...
    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.