4508 search results - page 576 / 902 » Design of human-map system interaction |
144
click to vote
EDCC
2006
Springer
15 years 10 months ago
2006
Springer
Mobile devices are increasingly relied on but are used in contexts that put them at risk of physical damage, loss or theft. We consider a fault-tolerance approach that exploits sp...
197
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
177
click to vote
IADIS
2004
15 years 8 months ago
2004
In this paper, we introduce the concept of "user policies" and its applications to the browsing of HTML documents. The objective of policies is to specify user preferenc...
170
click to vote
ULPAA
1994
15 years 8 months ago
1994
A uniform extension language for email systems can radically extend the utility of electronic mail, simplifying the construction of mail-based services and permitting the delivery...
163
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...