1124 search results - page 94 / 225 » Refined quorum systems |
162
click to vote
ATC
2006
Springer
15 years 10 months ago
2006
Springer
Multimedia streaming application is increasingly popular. P2P mode makes it much more suitable for large-scale users to participate into one single application. However, most effor...
173
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
149
click to vote
JILT
2000
15 years 6 months ago
2000
In this paper we present some aspects of an intelligent interface for a WWWeb legal information retrieval system. Our system is able to keep the context of the user interaction in...
168
click to vote
SOSE
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
169
click to vote
ICCSA
2004
Springer
15 years 12 months ago
2004
Springer
The paper presents an improved scheme for the visualization of 3D terrain in real-time using Digital Elevation Model (DEM). The method is primarily based on a modified version of R...