1575 search results - page 204 / 315 » The provenance of electronic data |
WACC
1999
ACM
15 years 4 months ago
1999
ACM
In recent years much attention has been paid to networkbased, distributed environments like text-based MUDs and MOOs for supporting collaborative work. Such environments offer a s...
117
click to vote
ISCC
1999
IEEE
15 years 4 months ago
1999
IEEE
Location-Aware applications for supporting the mobile user as well as logistics of movable objects have proven significant relevance for future telecommunication and computing. Ba...
114
click to vote
FMCAD
1998
Springer
15 years 4 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
125
click to vote
VRST
1997
ACM
15 years 3 months ago
1997
ACM
Augmented reality deals with the problem of dynamically augmenting or enhancing (images or live video of) the real world with computer generated data (e.g., graphics of virtual ob...
ICDCS
1996
IEEE
15 years 3 months ago
1996
IEEE
We present a group routing protocol for a network of processes. The task of the protocol is to route data messages to each member of a process group. To this end, a tree of proces...