Sciweavers

    DAGSTUHL
    2003
    94views Software Engineering» more  DAGSTUHL 2003»
    Organising Computation through Dynamic Grouping
    13 years 5 months ago
    Organising Computation through Dynamic Grouping
    Download  www.csc.liv.ac.uk
    Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
    Michael Fisher, Chiara Ghidini, Benjamin Hirsch
    claim paper
    Read More »
    DAGSTUHL
    2003
    103views Software Engineering» more  DAGSTUHL 2003»
    Visualizing Maple Plots with JavaViewLib
    13 years 5 months ago
    Visualizing Maple Plots with JavaViewLib
    Download  page.mi.fu-berlin.de
    Abstract. JavaViewLib is a new Maple package combined with the JavaView visualization toolkit that adds new interactivity to Maple plots in both web pages and worksheets. It provid...
    Steven Peter Dugaro, Konrad Polthier
    claim paper
    Read More »
    DAGSTUHL
    2003
    80views Software Engineering» more  DAGSTUHL 2003»
    Specializing visualization algorithms
    13 years 5 months ago
    Specializing visualization algorithms
    Download  rw4.cs.uni-sb.de
    Abstract In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separatio...
    Stephan Diehl
    claim paper
    Read More »
    DAGSTUHL
    2003
    95views Software Engineering» more  DAGSTUHL 2003»
    Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity
    13 years 5 months ago
    Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity
    Download  www.sqi.gu.edu.au
    Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
    R. Geoff Dromey
    claim paper
    Read More »
    DAGSTUHL
    2003
    130views Software Engineering» more  DAGSTUHL 2003»
    Data structures for 3D multi-tessellations: an overview
    13 years 5 months ago
    Data structures for 3D multi-tessellations: an overview
    Download  www.pascucci.org
    Abstract Multiresolution models support the interactive visualization of large volumetric data through selective refinement, an operation which permits to focus resolution only on...
    Emanuele Danovaro, Leila De Floriani, Paola Magill...
    claim paper
    Read More »
    DAGSTUHL
    2003
    120views Software Engineering» more  DAGSTUHL 2003»
    DSL Implementation in MetaOCaml, Template Haskell, and C++
    13 years 5 months ago
    DSL Implementation in MetaOCaml, Template Haskell, and C++
    Download  www.cs.rice.edu
    A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages. This paper reviews embedding, and summarizes how...
    Krzysztof Czarnecki, John T. O'Donnell, Jörg ...
    claim paper
    Read More »
    DAGSTUHL
    2003
    110views Software Engineering» more  DAGSTUHL 2003»
    Knowledge Mobility: Semantics for the Web as a White Knight for Knowledge-Based Systems
    13 years 5 months ago
    Knowledge Mobility: Semantics for the Web as a White Knight for Knowledge-Based Systems
    Download  www.isi.edu
    Yolanda Gil
    claim paper
    Read More »
    DAGSTUHL
    2003
    117views Software Engineering» more  DAGSTUHL 2003»
    PiLib: A Hosted Language for Pi-Calculus Style Concurrency
    13 years 5 months ago
    PiLib: A Hosted Language for Pi-Calculus Style Concurrency
    Download  lampwww.epfl.ch
    Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
    Vincent Cremet, Martin Odersky
    claim paper
    Read More »
    DAGSTUHL
    2003
    93views Software Engineering» more  DAGSTUHL 2003»
    Operational Semantics of Security Protocols
    13 years 5 months ago
    Operational Semantics of Security Protocols
    Download  alexandria.tue.nl
    Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
    Cas J. F. Cremers, Sjouke Mauw
    claim paper
    Read More »
    DAGSTUHL
    2003
    110views Software Engineering» more  DAGSTUHL 2003»
    Interactive Mathematical Documents on the Web
    13 years 5 months ago
    Interactive Mathematical Documents on the Web
    Download  www.win.tue.nl
    This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
    Arjeh M. Cohen, Hans Cuypers, Ernesto Reinaldo Bar...
    claim paper
    Read More »
    « first‹ previous12345678next ›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.