Sciweavers

5984 search results - page 282 / 1197
» The Informal Nature of Systems Engineering
Sort
View
PDP
2003
IEEE
15 years 12 months ago
CYCLADES: A Distributed System for Virtual Community Support Based on Open Archives
This paper is about support for the exchange of information and knowledge among researchers. We introduce the concepts of open archives and grey literature, which provide valuable...
Tom Gross
ESOP
2010
Springer
16 years 4 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
177
Voted
SIGIR
2009
ACM
16 years 1 months ago
Predicting user interests from contextual information
Search and recommendation systems must include contextual information to effectively model users’ interests. In this paper, we present a systematic study of the effectiveness of...
Ryen W. White, Peter Bailey, Liwei Chen
ICEIS
2008
IEEE
16 years 1 months ago
An Interactive Information Seeking Interface for Exploratory Search
As the Web has become a commodity, it is used for a variety of purposes and tasks that may require a great deal of cognitive efforts. However, most search engines developed for th...
Hogun Park, Sung-Hyon Myaeng, Gwan Jang, Jong-wook...
179
Voted
WWW
2001
ACM
16 years 7 months ago
A Logic-based Framework for Mobile Intelligent Information Agents
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
Naoki Fukuta, Takayuki Ito, Toramatsu Shintani