3000 search results - page 195 / 600 » Accessing an Information System by Chatting |
185
click to vote
PRDC
2008
IEEE
16 years 26 days ago
2008
IEEE
We consider efficient real-time communication mechanisms for applications in unreliable and partitionable networks, where network partitions can occur unpredictably and nodes can ...
201
click to vote
SIGMETRICS
2009
ACM
16 years 29 days ago
2009
ACM
Understanding the channel popularity or content popularity is an important step in the workload characterization for modern information distribution systems (e.g., World Wide Web,...
187
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
202
click to vote
EWDW
1994
15 years 10 months ago
1994
For object-oriented databases we propose a new technique for optimizing queries containing method invocations. This technique is based on the definition of inverse methods and que...
160
click to vote
ECIR
2004
Springer
15 years 7 months ago
2004
Springer
A medium-scale user study was carried out to investigate the usability of a concept-based query expansion support tool. The tool was fully integrated into the interface of an IR sy...