Search Sciweavers | Sciweavers

31387 search results - page 191 / 6278

» Abstracting abstract machines

134

click to vote

SEFM
2005
IEEE

108views Software Engineering» more SEFM 2005»

A Framework for Component-based Construction Extended Abstract

16 years 4 days ago

Download www-verimag.imag.fr

Joseph Sifakis

claim paper

Read More »

140

click to vote

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

16 years 3 days ago

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

139

click to vote

WORDS
2005
IEEE

97views Embedded Systems» more WORDS 2005»

A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP

16 years 3 days ago

Download faculty.ist.unomaha.edu

Victor L. Winter, Jason Beranek, Azamatbek Mametja...

claim paper

Read More »

143

click to vote

ITICSE
2005
ACM

98views Theoretical Computer Science» more ITICSE 2005»

Exploring students' understanding of the concept of algorithm: levels of abstraction

16 years 3 days ago

Download www.win.tue.nl

Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood

claim paper

Read More »

142

click to vote

MSR
2005
ACM

88views Software Engineering» more MSR 2005»

Understanding source code evolution using abstract syntax tree matching

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers