Sciweavers

5647 search results - page 822 / 1130
» A word from the editor
Sort
View
CAISE
2008
Springer
15 years 8 months ago
Exploiting the Annotation Practice for Personal and Collective Information Management
Abstract. Information nowadays is a capital for any organization intending to be reactive and aware of its environment. Unfortunately most modern organizations overdose on informat...
Guillaume Cabanac, Max Chevalier, Claude Chrisment...
COLCOM
2008
IEEE
15 years 8 months ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart
COLCOM
2008
IEEE
15 years 8 months ago
Web Canary: A Virtualized Web Browser to Support Large-Scale Silent Collaboration in Detecting Malicious Web Sites
Abstract. Malicious Web content poses a serious threat to the Internet, organizations and users. Current approaches to detecting malicious Web content employ high-powered honey cli...
Jiang Wang, Anup K. Ghosh, Yih Huang
CSL
2008
Springer
15 years 8 months ago
On the Almighty Wand
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
Rémi Brochenin, Stéphane Demri, &Eac...
DEXA
2008
Springer
181views Database» more  DEXA 2008»
15 years 8 months ago
Query Recommendation Using Large-Scale Web Access Logs and Web Page Archive
Query recommendation suggests related queries for search engine users when they are not satisfied with the results of an initial input query, thus assisting users in improving sear...
Lin Li, Shingo Otsuka, Masaru Kitsuregawa