Search Sciweavers | Sciweavers

2700 search results - page 17 / 540

» The role of abstraction in software engineering

118

click to vote

CISIS
2009
IEEE

96views Software Engineering» more CISIS 2009»

Federation and Abstraction of Heterogeneous Global Computing Platforms with the YML Framework

16 years 26 days ago

Download yml.prism.uvsq.fr

Laurent Choy, Olivier Delannoy, Nahid Emad, Serge ...

claim paper

Read More »

110

click to vote

ICSM
2009
IEEE

166views Software Engineering» more ICSM 2009»

Abstracting the template instantiation relation in C++

16 years 21 days ago

Download www.cs.kent.edu

Andrew Sutton, Ryan Holeman, Jonathan I. Maletic

claim paper

Read More »

136

click to vote

KBSE
2008
IEEE

150views Software Engineering» more KBSE 2008»

Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

16 years 13 days ago

Download www.carstensinz.de

Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...

claim paper

Read More »

123

click to vote

SEAA
2008
IEEE

137views Software Engineering» more SEAA 2008»

SAIL: A Sensor Abstraction and Integration Layer for Context Awareness

16 years 13 days ago

Download winslab.cnu.ac.kr

Michele Girolami, Stefano Lenzi, Francesco Furfari...

claim paper

Read More »

127

click to vote

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers