Sciweavers

6884 search results - page 1246 / 1377
» The macro-structure of use of help
Sort
View
KDD
2004
ACM
187views Data Mining» more  KDD 2004»
16 years 6 months ago
Mission-Based Navigational Behaviour Modeling for Web Recommender Systems
Web recommender systems anticipate the information needs of on-line users and provide them with recommendations to facilitate and personalize their navigation. There are many appro...
Osmar R. Zaïane, Jia Li, Robert Hayward
CHI
2003
ACM
16 years 6 months ago
Ethnographic interviews guide design of ford vehicles website
This case study describes ethnographic interviews with vehicle buyers to learn how they make purchase decisions. The research was conducted for J. Walter Thompson (JWT), the digit...
Lori Anschuetz, Stephanie Rosenbaum
ICFP
2004
ACM
16 years 6 months ago
Verification of safety properties for concurrent assembly code
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
Dachuan Yu, Zhong Shao
ICCD
2000
IEEE
107views Hardware» more  ICCD 2000»
16 years 2 months ago
Architectural Impact of Secure Socket Layer on Internet Servers
Secure socket layer SSL is the most popular protocol used in the Internet for facilitating secure communications through authentication, encryption, and decryption. Although the...
Krishna Kant, Ravishankar K. Iyer, Prasant Mohapat...
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
16 years 2 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
« Prev « First page 1246 / 1377 Last » Next »