Search Sciweavers | Sciweavers

15783 search results - page 408 / 3157

» Evidence-Based Software Engineering

158

click to vote

EMSOFT
2010
Springer

108views Software Engineering» more EMSOFT 2010»

Ptera: an event-oriented model of computation for heterogeneous systems

15 years 4 months ago

Download www.eecs.berkeley.edu

Thomas Huining Feng, Edward A. Lee, Lee W. Shruben

claim paper

Read More »

112

click to vote

FSTTCS
2010
Springer

124views Software Engineering» more FSTTCS 2010»

Reasoning About Strategies

15 years 4 months ago

Download www.cs.rice.edu

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi

claim paper

Read More »

142

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 »

128

click to vote

ICST
2010
IEEE

96views Software Engineering» more ICST 2010»

Verified Firewall Policy Transformations for Test Case Generation

15 years 4 months ago

Download www.infsec.ethz.ch

Achim D. Brucker, Lukas Brügger, Paul Kearney...

claim paper

Read More »

151

click to vote

CCE
2011

213views Software Engineering» more CCE 2011»

Optimal scheduling of continuous plants with energy constraints

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers