Sciweavers

677 search results - page 52 / 136
» Utilizing Web Search Engines for Program Analysis
Sort
View
ICSE
2010
IEEE-ACM
15 years 2 months ago
Using dynamic execution traces and program invariants to enhance behavioral model inference
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garci...
COMPSYSTECH
2007
15 years 1 months ago
Searching the internet for learning materials through didactic indicators
: Internet offers a huge amount of didactic materials that can be used in creating new online courses. However, those materials need a deep analysis to understand their context and...
Marco Alfano, Biagio Lenzitti
SIGIR
2008
ACM
14 years 9 months ago
Predicting when browsing context is relevant to search
We investigate a representative case of sudden information need change of Web users. By analyzing search engine query logs, we show that the majority of queries submitted by users...
Mandar Rahurkar, Silviu Cucerzan
CSE
2009
IEEE
15 years 4 months ago
Web Science 2.0: Identifying Trends through Semantic Social Network Analysis
—We introduce a novel set of social network analysis based algorithms for mining the Web, blogs, and online forums to identify trends and find the people launching these new tren...
Peter A. Gloor, Jonas Krauss, Stefan Nann, Kai Fis...
CIKM
2010
Springer
14 years 6 months ago
Crawling the web for structured documents
Structured Information Retrieval is gaining a lot of interest in recent years, as this kind of information is becoming an invaluable asset for professional communities such as Sof...
Julián Urbano, Juan Loréns, Yorgos A...