24444 search results - page 4074 / 4889 » A Data Model for Data Integration |
202
click to vote
PPDP
2001
Springer
16 years 2 days ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
199
click to vote
SAS
2001
Springer
16 years 2 days ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
186
click to vote
BIBE
2000
IEEE
16 years 2 days ago
2000
IEEE
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...
192
click to vote
HICSS
2000
IEEE
16 years 1 days ago
2000
IEEE
User interfaces (Uis) for client-server-and Web-based products and services must enable users around the world to access complex data and functions. Solutions to successful user-i...
229
click to vote
HPDC
2000
IEEE
16 years 1 days ago
2000
IEEE
In this paper we present a scalable protocol for conducting periodic probes of network performance in a way that minimizes collisions between separate probes. The goal of the prot...