Search Sciweavers | Sciweavers

15777 search results - page 210 / 3156

» The Reformulation-Optimization Software Engine

click to vote

EMSOFT
2008
Springer

124views Software Engineering» more EMSOFT 2008»

Model-based validation of QoS properties of biomedical sensor networks

15 years 4 months ago

Download user.it.uu.se

Simon Tschirner, Liang Xuedong, Wang Yi

claim paper

Read More »

click to vote

EMSOFT
2008
Springer

108views Software Engineering» more EMSOFT 2008»

DBS4video: dynamic luminance backlight scaling based on multi-histogram frame characterization for video streaming application

15 years 4 months ago

Download www.cecs.uci.edu

Martino Ruggiero, Andrea Bartolini, Luca Benini

claim paper

Read More »

103

click to vote

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

15 years 4 months ago

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

click to vote

FASE
2008
Springer

86views Software Engineering» more FASE 2008»

Orthographic Modeling Environment

15 years 4 months ago

Download d3s.mff.cuni.cz

Colin Atkinson, Dietmar Stoll

claim paper

Read More »

108

click to vote

FASE
2008
Springer

89views Software Engineering» more FASE 2008»

HOL-OCL: A Formal Proof Environment for UML/OCL

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers