13397 search results - page 2515 / 2680 » From Static Distributed Systems to Dynamic Systems |
107
click to vote
CSCW
2000
ACM
15 years 7 months ago
2000
ACM
Collaborations over distance must contend with the loss of the rich, subtle interactions that co-located teams use to coordinate their work. Previous research has suggested that o...
129
click to vote
DOLAP
2000
ACM
15 years 7 months ago
2000
ACM
We consider the view maintenance problem in a web-based environment, in which clients query information from databases, stored in the form of materialized data warehouses, without...
112
click to vote
CAV
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
139
click to vote
APSEC
1999
IEEE
15 years 7 months ago
1999
IEEE
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...
128
click to vote
HICSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Millions of small heterogeneous computers are poised to spread into the infrastructure of our society. Though mostly inconspicuous today, disguised as nothing more than PIM (perso...