308 search results - page 49 / 62 » Efficient Software Model Checking of Data Structure Properti... |
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
IPSN
2007
Springer
15 years 3 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
JISBD
2001
14 years 11 months ago
2001
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
ML
2008
ACM
14 years 9 months ago
2008
ACM
The use of Bayesian networks for classification problems has received significant recent attention. Although computationally efficient, the standard maximum likelihood learning me...
146
click to vote
WWW
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we propose a novel framework called SmartMiner for web usage mining problem which uses link information for producing accurate user sessions and frequent navigation...