4327 search results - page 308 / 866 » Web presentation system using RST events |
145
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
164
click to vote
MOBIQUITOUS
2005
IEEE
16 years 7 days ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
207
click to vote
CN
1998
15 years 6 months ago
1998
In this paper, we present Google, a prototype of a large-scale search engine which makes heavy use of the structure present in hypertext. Google is designed to crawl and index the...
160
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
The MEMOIR framework supports researchers working with a vast quantity of distributed information, by assisting them in finding both relevant documents and researchers with relate...
177
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...