4418 search results - page 106 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
221
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
We describe DSPHERE1 - a decentralized system for crawling, indexing, searching and ranking of documents in the World Wide Web. Unlike most of the existing search technologies tha...
138
click to vote
ENTCS
2006
15 years 4 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
117
click to vote
ICMAS
2000
15 years 5 months ago
2000
In this paper, I motivate, define, and illustrate the notion of computationally grounded theories of agency. A theory of agency is said to be computationally grounded if we can gi...
121
click to vote
ACSC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper analyses the efficiency of different data structures for detecting overlap in digital documents. Most existing approaches use some hash function to reduce the space req...
179
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...