10038 search results - page 1890 / 2008 » Model Checking for Managers |
83
Voted
SIGUCCS
2000
ACM
15 years 5 months ago
2000
ACM
Over the past decade, distributed computing necessitated a centralized support environment at most colleges and universities. This development has given campus computer users the ...
CIKM
1999
Springer
15 years 5 months ago
1999
Springer
A research prototype is presented for semantic indexing and retrieval in Information Retrieval. The prototype is motivated by a desire to provide a more efficient and effective in...
111
click to vote
SIGIR
1996
ACM
15 years 4 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
181
Voted
SIGIR
1992
ACM
15 years 4 months ago
1992
ACM
ct We describe work on the visualization of bibliographic data and, to aid in this task, the application of numerical techniques for multidimensional scaling. Many areas of scienti...
105
click to vote
CCS
2007
ACM
15 years 4 months ago
2007
ACM
We examine covert channels in privacy-enhanced mobile identification devices where the devices uniquely identify themselves to an authorized verifier. Such devices (e.g. RFID tags)...