Search Sciweavers | Sciweavers

31387 search results - page 168 / 6278

» Abstracting abstract machines

148

click to vote

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

16 years 1 months ago

Download www.nvc.vt.edu

Gregory Kulczycki, Heather Keown, Murali Sitaraman...

claim paper

Read More »

155

click to vote

SIPS
2007
IEEE

85views Signal Processing» more SIPS 2007»

Rapid Abstract Control Model for Signal Processing Implementation

16 years 1 months ago

Download www.ee.iitm.ac.in

Kannan Gaddam, Nitin Chandrachoodan, S. Srinivasan

claim paper

Read More »

132

Voted

SP
2007
IEEE

113views Security Privacy» more SP 2007»

Cryptanalysis of a Cognitive Authentication Scheme (Extended Abstract)

16 years 1 months ago

Download crypto.stanford.edu

Philippe Golle, David Wagner

claim paper

Read More »

142

Voted

AGILE
2007
Springer

142views GIS» more AGILE 2007»

A Universal Abstract Model for Future Movements of Moving Objects

16 years 1 months ago

Download www.cise.ufl.edu

Reasey Praing, Markus Schneider

claim paper

Read More »

126

click to vote

AIIA
2007
Springer

113views Artificial Intelligence» more AIIA 2007»

Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers