Sciweavers

    SAC
    2006
    ACM
    107views Applied Computing» more  SAC 2006»
    A UML 2-compatible language and tool for formal modeling real-time system architectures
    13 years 11 months ago
    A UML 2-compatible language and tool for formal modeling real-time system architectures
    Download  home.dei.polimi.it
    ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
    Pietro Colombo, Matteo Pradella, Matteo Rossi
    claim paper
    Read More »
    SAC
    2006
    ACM
    165views Applied Computing» more  SAC 2006»
    Template detection for large scale search engines
    13 years 11 months ago
    Template detection for large scale search engines
    Download  wwwcsif.cs.ucdavis.edu
    Templates in web sites hurt search engine retrieval performance, especially in content relevance and link analysis. Current template removal methods suffer from processing speed ...
    Liang Chen, Shaozhi Ye, Xing Li
    claim paper
    Read More »
    SAC
    2006
    ACM
    137views Applied Computing» more  SAC 2006»
    Event-driven scheduling for dynamic workload scaling in uniprocessor embedded systems
    13 years 11 months ago
    Event-driven scheduling for dynamic workload scaling in uniprocessor embedded systems
    Download  www.cis.nctu.edu.tw
    Many embedded systems are designed to take timely reactions to the occurrences of interested scenarios. Sometimes transient overloads might be experienced due to hardware malfunct...
    Li-Pin Chang
    claim paper
    Read More »
    SAC
    2006
    ACM
    100views Applied Computing» more  SAC 2006»
    Towards a model-driven join point model
    13 years 11 months ago
    Towards a model-driven join point model
    Download  wwwiti.cs.uni-magdeburg.de
    Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...
    Walter Cazzola, Antonio Cicchetti, Alfonso Pierant...
    claim paper
    Read More »
    SAC
    2006
    ACM
    92views Applied Computing» more  SAC 2006»
    An implicit segmentation-based method for recognition of handwritten strings of characters
    13 years 11 months ago
    An implicit segmentation-based method for recognition of handwritten strings of characters
    Download  www.livia.etsmtl.ca
    This paper describes an implicit segmentation-based method for recognition of strings of characters (words or numerals). In a two-stage HMM-based method, an implicit segmentation ...
    Paulo Rodrigo Cavalin, Alceu de Souza Britto Jr., ...
    claim paper
    Read More »
    SAC
    2006
    ACM
    108views Applied Computing» more  SAC 2006»
    A chat interface for human-agent interaction in MAST
    13 years 11 months ago
    A chat interface for human-agent interaction in MAST
    Download  mast.ihmc.us
    In this paper we introduce a group-messaging interface that allows humans to efficiently interact with a group of agents through a hierarchical and customizable text protocol. Our...
    Marco M. Carvalho, Matteo Rebeschini, James Horsle...
    claim paper
    Read More »
    SAC
    2006
    ACM
    125views Applied Computing» more  SAC 2006»
    Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts
    13 years 11 months ago
    Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts
    Download  www.cs.cornell.edu
    We solve the consensus problem using a new class of broadcasts that are very appropriate to ad-hoc networking: every broadcast message is eventually ensured to be garbagecollected...
    François Bonnet, Paul D. Ezhilchelvan, Eina...
    claim paper
    Read More »
    SAC
    2006
    ACM
    116views Applied Computing» more  SAC 2006»
    The advent of trusted computing: implications for digital forensics
    13 years 11 months ago
    The advent of trusted computing: implications for digital forensics
    Download  www.cs.fsu.edu
    The release of computer hardware devices based on “trusted computing” technologies is heralding a paradigm shift that will have profound implications for digital forensics. In...
    Mike Burmester, Judie Mulholland
    claim paper
    Read More »
    SAC
    2006
    ACM
    103views Applied Computing» more  SAC 2006»
    Java bytecode specification and verification
    13 years 11 months ago
    Java bytecode specification and verification
    Download  delivery.acm.org
    Lilian Burdy, Mariela Pavlova
    claim paper
    Read More »
    SAC
    2006
    ACM
    122views Applied Computing» more  SAC 2006»
    Provably faithful evaluation of polynomials
    13 years 11 months ago
    Provably faithful evaluation of polynomials
    Download  hal.inria.fr
    We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
    Sylvie Boldo, César Muñoz
    claim paper
    Read More »
    « first‹ previous…8910111213141516next ›last »
    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.