Search Sciweavers | Sciweavers

241 search results - page 3 / 49

» CACM: past, present, and future

click to vote

ICSE
2007
IEEE-ACM

80views Software Engineering» more ICSE 2007»

Software Deployment, Past, Present and Future

14 years 10 months ago

Download www.cs.st-andrews.ac.uk

Alan Dearle

claim paper

Read More »

click to vote

MM
2009
ACM

733views Multimedia» more MM 2009»

Quality of multimedia experience: past, present and future

14 years 4 months ago

Download infoscience.epfl.ch

Touradj Ebrahimi

claim paper

Read More »

click to vote

TPHOL
2008
IEEE

107views Automated Reasoning» more TPHOL 2008»

Twenty Years of Theorem Proving for HOLs Past, Present and Future

14 years 4 months ago

Download users.encs.concordia.ca

Mike Gordon

claim paper

Read More »

click to vote

SEFM
2006
IEEE

131views Software Engineering» more SEFM 2006»

Automatic Property Checking for Software: Past, Present and Future

14 years 3 months ago

Download research.microsoft.com

tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...

Sriram K. Rajamani

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

Separation - Past, Present, and Future

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers