Search Sciweavers | Sciweavers

3330 search results - page 52 / 666

» software 2010

126

click to vote

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

15 years 4 months ago

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

136

click to vote

SSIRI
2010

103views Software Engineering» more SSIRI 2010»

Model-Based Argument Analysis for Evolving Security Requirements

15 years 3 months ago

Download mcs.open.ac.uk

Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar...

claim paper

Read More »

120

click to vote

CAL
2010

110views Software Engineering» more CAL 2010»

The Accelerator Store framework for high-performance, low-power accelerator-based systems

15 years 3 months ago

Download www.eecs.harvard.edu

Michael J. Lyons, Mark Hempstead, Gu-Yeon Wei, Dav...

claim paper

Read More »

128

click to vote

CCE
2010

121views Software Engineering» more CCE 2010»

A robust clustering method for detection of abnormal situations in a process with multiple steady-state operation modes

15 years 3 months ago

Download mate.dm.uba.ar

Mauricio Maestri, Andrés Farall, Pablo Groi...

claim paper

Read More »

152

click to vote

AMAST
2010
Springer

223views Software Engineering» more AMAST 2010»

Program Calculation in Coq

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers