Search Sciweavers | Sciweavers

31387 search results - page 168 / 6278

» Abstracting abstract machines

132

click to vote

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

16 years 23 days ago

Download www.nvc.vt.edu

Gregory Kulczycki, Heather Keown, Murali Sitaraman...

claim paper

Read More »

142

click to vote

SIPS
2007
IEEE

85views Signal Processing» more SIPS 2007»

Rapid Abstract Control Model for Signal Processing Implementation

16 years 23 days ago

Download www.ee.iitm.ac.in

Kannan Gaddam, Nitin Chandrachoodan, S. Srinivasan

claim paper

Read More »

126

click to vote

SP
2007
IEEE

113views Security Privacy» more SP 2007»

Cryptanalysis of a Cognitive Authentication Scheme (Extended Abstract)

16 years 23 days ago

Download crypto.stanford.edu

Philippe Golle, David Wagner

claim paper

Read More »

133

click to vote

AGILE
2007
Springer

142views GIS» more AGILE 2007»

A Universal Abstract Model for Future Movements of Moving Objects

16 years 21 days ago

Download www.cise.ufl.edu

Reasey Praing, Markus Schneider

claim paper

Read More »

119

click to vote

AIIA
2007
Springer

113views Artificial Intelligence» more AIIA 2007»

Enhancing Comprehension of Ontologies and Conceptual Models Through Abstractions

16 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers