3828 search results - page 291 / 766 » Proof-Based System Engineering Using a Virtual System Model |
201
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
This paper presents a simple and intuitive method for mining search engine query logs to get fast query recommendations on a large scale industrial-strength search engine. In orde...
172
click to vote
IUI
2004
ACM
16 years 1 days ago
2004
ACM
As computer applications become larger with every new version, there is a growing need to provide some way for users to manage the interface complexity. There are three different ...
153
click to vote
GTTSE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In this context, the merging of FMs is being recogniz...
152
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Modern file systems associate the deletion of a file with the release of the storage associated with that file, and file writes with the irrevocable change of file contents. We pr...
161
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Gaze is an extremely important aspect of human face to face interaction. Over the course of an interaction, a single individual’s gaze can perform many different functions, such...