Sciweavers

15727 search results - page 209 / 3146

» Software Engineering - Introduction

101

EMSOFT
2008
Springer

124views Software Engineering» more EMSOFT 2008»

Model-based validation of QoS properties of biomedical sensor networks

15 years 5 months ago

Model-based validation of QoS properties of biomedical sensor networks

Download user.it.uu.se

Simon Tschirner, Liang Xuedong, Wang Yi

claim paper

Read More »

82

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 5 months ago

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

Download www.cecs.uci.edu

Martino Ruggiero, Andrea Bartolini, Luca Benini

claim paper

Read More »

105

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

15 years 5 months ago

Event order abstraction for parametric real-time system verification

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

78

FASE
2008
Springer

86views Software Engineering» more FASE 2008»

Orthographic Modeling Environment

15 years 5 months ago

Orthographic Modeling Environment

Download d3s.mff.cuni.cz

Colin Atkinson, Dietmar Stoll

claim paper

Read More »

109

FASE
2008
Springer

89views Software Engineering» more FASE 2008»

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

15 years 5 months ago

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

Download www.brucker.ch

Achim D. Brucker, Burkhart Wolff

claim paper

Read More »

« Prev « First page 209 / 3146 Last » Next »