4035 search results - page 489 / 807 » Useless Actions Are Useful |
155
click to vote
ASIAN
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In a process calculus, an agent guarantees responsive usage of a channel name r if a communication along r is guaranteed to eventually take place. Responsiveness is impor...
210
click to vote
ASIAN
2006
Springer
15 years 11 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
186
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Adaptive websites usually change as effect of user navigational actions. Most current web engineering approaches (which consider personalization) allow to detect basic user browsin...
230
click to vote
CDVE
2006
Springer
15 years 11 months ago
2006
Springer
Inter-networked computers enable virtual collaborative work. In the course of interacting with one another, individuals send and receive messages and files of various sorts. This m...
196
click to vote
DAS
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents a novel approach for designing a semi-automatic adaptive OCR for large document image collections in digital libraries. We describe an interactive system for co...