Search Sciweavers | Sciweavers

9698 search results - page 131 / 1940

» models 2010

164

click to vote

JTRES
2010
ACM

158views Embedded Systems» more JTRES 2010»

A locality model for the real-time specification for Java

15 years 4 months ago

Download d3s.mff.cuni.cz

Abdul Haseeb Malik, Andy J. Wellings, Yang Chang

claim paper

Read More »

173

click to vote

KBSE
2010
IEEE

190views Software Engineering» more KBSE 2010»

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

15 years 4 months ago

Download www.leduotang.com

Sylvain Hallé, Taylor Ettema, Chris Bunch, ...

claim paper

Read More »

130

click to vote

KBSE
2010
IEEE

170views Software Engineering» more KBSE 2010»

Verification-driven slicing of UML/OCL models

15 years 4 months ago

Download www.lsi.upc.edu

Asadullah Shaikh, Robert Clarisó, Uffe Kock...

claim paper

Read More »

176

click to vote

MOBILWARE
2010
ACM

126views Operating System» more MOBILWARE 2010»

An Object-Oriented Model in Support of Context-Aware Mobile Applications

15 years 4 months ago

Download www.mobilware.org

Felix Dobslaw, Aron Larsson, Theo Kanter, Jamie Wa...

claim paper

Read More »

174

click to vote

SIES
2010
IEEE

191views Embedded Systems» more SIES 2010»

Compositional Translation of Simulink Models into Synchronous BIP

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers