Search Sciweavers | Sciweavers

15727 search results - page 304 / 3146

» Software Engineering - Introduction

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

The B-Method for the Construction of Microkernel-Based Systems

15 years 10 months ago

Download www.cse.unsw.edu.au

Sarah Hoffmann, Germain Haugou, Sophie Gabriele, L...

claim paper

Read More »

113

click to vote

ECSA
2007
Springer

97views Software Engineering» more ECSA 2007»

Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations

15 years 10 months ago

Download univ.herveverjus.com

David Manset, Hervé Verjus, Richard McClatc...

claim paper

Read More »

125

click to vote

ICESS
2007
Springer

102views Software Engineering» more ICESS 2007»

Energy-Efficient Medium Access Control for Wireless Sensor Networks

15 years 10 months ago

Download biblion.epfl.ch

Po-Jen Chuang, Chih-Shin Lin

claim paper

Read More »

108

click to vote

TMRA
2007
Springer

134views Software Engineering» more TMRA 2007»

TMchartis- A Tool Set for Designing Multiple Problem-Oriented Visualizations for Topic Maps

15 years 10 months ago

Download www.theoinf.tu-ilmenau.de

Hendrik Thomas, Rike Brecht, Bernd Markscheffel, S...

claim paper

Read More »

click to vote

VLSI
2007
Springer

89views Software Engineering» more VLSI 2007»

SWORD: A SAT like prover using word level information

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers