4158 search results - page 496 / 832 » A Framework for Web Science |
170
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper compares popular client and server architectures used for groupware. It presents a client framework and evaluates native, installed clients, Java-based applications, an...
178
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Inductive representation of conditional knowledge means to complete knowledge appropriately and can be looked upon as an instance of quite a general representation problem. The cr...
152
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
190
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
192
click to vote
VISUALIZATION
1993
IEEE
15 years 10 months ago
1993
IEEE
Visualization has proved an e ective tool in the understanding of large data sets in computational science and engineering. There is growing interest today in the development of p...